{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "FEATURE", "note": "" }, "_r_10": { "name": "_r_10", "optional": false, "type": "XOR", "note": "" }, "_r_10_47_48": { "name": "_r_10_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_47_49": { "name": "_r_10_47_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_47_50": { "name": "_r_10_47_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_11": { "name": "_r_11", "optional": false, "type": "XOR", "note": "" }, "_r_11_51_52": { "name": "_r_11_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_51_53": { "name": "_r_11_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_12": { "name": "_r_12", "optional": false, "type": "XOR", "note": "" }, "_r_12_54_55": { "name": "_r_12_54_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_54_56": { "name": "_r_12_54_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_13": { "name": "_r_13", "optional": false, "type": "XOR", "note": "" }, "_r_13_57_58": { "name": "_r_13_57_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_57_59": { "name": "_r_13_57_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_14": { "name": "_r_14", "optional": false, "type": "OR", "note": "" }, "_r_14_60_61": { "name": "_r_14_60_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_60_62": { "name": "_r_14_60_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_60_63": { "name": "_r_14_60_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_15": { "name": "_r_15", "optional": false, "type": "OR", "note": "" }, "_r_15_64_65": { "name": "_r_15_64_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_15_64_66": { "name": "_r_15_64_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_15_64_67": { "name": "_r_15_64_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_15_64_68": { "name": "_r_15_64_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_16": { "name": "_r_1_16", "optional": false, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "XOR", "note": "" }, "_r_2_17_18": { "name": "_r_2_17_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_17_19": { "name": "_r_2_17_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "XOR", "note": "" }, "_r_3_20_21": { "name": "_r_3_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_22": { "name": "_r_3_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_23": { "name": "_r_3_20_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": false, "type": "XOR", "note": "" }, "_r_5_28_29": { "name": "_r_5_28_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_28_30": { "name": "_r_5_28_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": false, "type": "XOR", "note": "" }, "_r_6_31_32": { "name": "_r_6_31_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_31_33": { "name": "_r_6_31_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_31_34": { "name": "_r_6_31_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_7": { "name": "_r_7", "optional": false, "type": "XOR", "note": "" }, "_r_7_35_36": { "name": "_r_7_35_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_35_37": { "name": "_r_7_35_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_35_38": { "name": "_r_7_35_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_8": { "name": "_r_8", "optional": false, "type": "XOR", "note": "" }, "_r_8_39_40": { "name": "_r_8_39_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_39_41": { "name": "_r_8_39_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_39_42": { "name": "_r_8_39_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_9": { "name": "_r_9", "optional": false, "type": "XOR", "note": "" }, "_r_9_43_44": { "name": "_r_9_43_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_43_45": { "name": "_r_9_43_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_43_46": { "name": "_r_9_43_46", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_16" } ] }, { "id": "_r_10", "children": [ { "id": "_r_10_47_48" }, { "id": "_r_10_47_49" }, { "id": "_r_10_47_50" } ] }, { "id": "_r_11", "children": [ { "id": "_r_11_51_52" }, { "id": "_r_11_51_53" } ] }, { "id": "_r_12", "children": [ { "id": "_r_12_54_55" }, { "id": "_r_12_54_56" } ] }, { "id": "_r_13", "children": [ { "id": "_r_13_57_58" }, { "id": "_r_13_57_59" } ] }, { "id": "_r_14", "children": [ { "id": "_r_14_60_61" }, { "id": "_r_14_60_62" }, { "id": "_r_14_60_63" } ] }, { "id": "_r_15", "children": [ { "id": "_r_15_64_65" }, { "id": "_r_15_64_66" }, { "id": "_r_15_64_67" }, { "id": "_r_15_64_68" } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_17_18" }, { "id": "_r_2_17_19" } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_20_21" }, { "id": "_r_3_20_22" }, { "id": "_r_3_20_23" } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_28_29" }, { "id": "_r_5_28_30" } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_31_32" }, { "id": "_r_6_31_33" }, { "id": "_r_6_31_34" } ] }, { "id": "_r_7", "children": [ { "id": "_r_7_35_36" }, { "id": "_r_7_35_37" }, { "id": "_r_7_35_38" } ] }, { "id": "_r_8", "children": [ { "id": "_r_8_39_40" }, { "id": "_r_8_39_41" }, { "id": "_r_8_39_42" } ] }, { "id": "_r_9", "children": [ { "id": "_r_9_43_44" }, { "id": "_r_9_43_45" }, { "id": "_r_9_43_46" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_65" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_21" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_60_61" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_23" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_60_61" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_67" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_23" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_60_62" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_67" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_67" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_60_61" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_65" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_67" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_60_62" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_67" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_67" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_21" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_60_63" ] } ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_66" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_67" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_67" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_23" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_60_63" ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_65" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_15_64_67" ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_21" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_60_62" ] } ] } ] } } }