{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "XOR", "note": "" }, "_r_1_6_7": { "name": "_r_1_6_7", "optional": true, "type": "XOR", "note": "" }, "_r_1_6_7_9_10": { "name": "_r_1_6_7_9_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_7_9_11": { "name": "_r_1_6_7_9_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_7_9_12": { "name": "_r_1_6_7_9_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_7_9_14": { "name": "_r_1_6_7_9_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_7_9_16": { "name": "_r_1_6_7_9_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_8": { "name": "_r_1_6_8", "optional": true, "type": "XOR", "note": "" }, "_r_1_6_8_17_18": { "name": "_r_1_6_8_17_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_8_17_19": { "name": "_r_1_6_8_17_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_8_17_20": { "name": "_r_1_6_8_17_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_8_17_21": { "name": "_r_1_6_8_17_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_8_17_23": { "name": "_r_1_6_8_17_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24": { "name": "_r_2_24", "optional": true, "type": "OR", "note": "" }, "_r_2_24_29_32": { "name": "_r_2_24_29_32", "optional": true, "type": "XOR", "note": "" }, "_r_2_24_29_32_58_59": { "name": "_r_2_24_29_32_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24_29_32_58_60": { "name": "_r_2_24_29_32_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24_29_32_58_61": { "name": "_r_2_24_29_32_58_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24_29_33": { "name": "_r_2_24_29_33", "optional": true, "type": "XOR", "note": "" }, "_r_2_24_29_33_53_54": { "name": "_r_2_24_29_33_53_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24_29_33_53_56": { "name": "_r_2_24_29_33_53_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24_29_33_53_57": { "name": "_r_2_24_29_33_53_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24_29_34": { "name": "_r_2_24_29_34", "optional": true, "type": "XOR", "note": "" }, "_r_2_24_29_34_62_63": { "name": "_r_2_24_29_34_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24_29_34_62_64": { "name": "_r_2_24_29_34_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24_29_34_62_65": { "name": "_r_2_24_29_34_62_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25": { "name": "_r_2_25", "optional": true, "type": "OR", "note": "" }, "_r_2_25_35_36": { "name": "_r_2_25_35_36", "optional": true, "type": "XOR", "note": "" }, "_r_2_25_35_36_38_39": { "name": "_r_2_25_35_36_38_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25_35_36_38_40": { "name": "_r_2_25_35_36_38_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25_35_36_38_41": { "name": "_r_2_25_35_36_38_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25_35_37": { "name": "_r_2_25_35_37", "optional": true, "type": "XOR", "note": "" }, "_r_2_25_35_37_42_43": { "name": "_r_2_25_35_37_42_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25_35_37_42_44": { "name": "_r_2_25_35_37_42_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25_35_49": { "name": "_r_2_25_35_49", "optional": true, "type": "XOR", "note": "" }, "_r_2_25_35_49_50_51": { "name": "_r_2_25_35_49_50_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25_35_49_50_52": { "name": "_r_2_25_35_49_50_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25_35_73": { "name": "_r_2_25_35_73", "optional": true, "type": "OR", "note": "" }, "_r_2_25_35_73_87_88": { "name": "_r_2_25_35_73_87_88", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25_35_73_87_89": { "name": "_r_2_25_35_73_87_89", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25_35_74": { "name": "_r_2_25_35_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25_35_75": { "name": "_r_2_25_35_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_26": { "name": "_r_2_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27": { "name": "_r_2_27", "optional": true, "type": "OR", "note": "" }, "_r_2_27_66_67": { "name": "_r_2_27_66_67", "optional": true, "type": "OR", "note": "" }, "_r_2_27_66_67_78_79": { "name": "_r_2_27_66_67_78_79", "optional": true, "type": "XOR", "note": "" }, "_r_2_27_66_67_78_79_90_91": { "name": "_r_2_27_66_67_78_79_90_91", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27_66_67_78_79_90_92": { "name": "_r_2_27_66_67_78_79_90_92", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27_66_67_78_79_90_93": { "name": "_r_2_27_66_67_78_79_90_93", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27_66_67_78_80": { "name": "_r_2_27_66_67_78_80", "optional": true, "type": "XOR", "note": "" }, "_r_2_27_66_67_78_80_94_95": { "name": "_r_2_27_66_67_78_80_94_95", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27_66_67_78_80_94_96": { "name": "_r_2_27_66_67_78_80_94_96", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27_66_67_78_80_94_97": { "name": "_r_2_27_66_67_78_80_94_97", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27_66_67_78_81": { "name": "_r_2_27_66_67_78_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27_66_67_78_82": { "name": "_r_2_27_66_67_78_82", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27_66_67_78_83": { "name": "_r_2_27_66_67_78_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27_66_98": { "name": "_r_2_27_66_98", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_28": { "name": "_r_2_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_6_7", "children": [ { "id": "_r_1_6_7_9_10" }, { "id": "_r_1_6_7_9_11" }, { "id": "_r_1_6_7_9_12" }, { "id": "_r_1_6_7_9_14" }, { "id": "_r_1_6_7_9_16" } ] }, { "id": "_r_1_6_8", "children": [ { "id": "_r_1_6_8_17_18" }, { "id": "_r_1_6_8_17_19" }, { "id": "_r_1_6_8_17_20" }, { "id": "_r_1_6_8_17_21" }, { "id": "_r_1_6_8_17_23" } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_24", "children": [ { "id": "_r_2_24_29_32", "children": [ { "id": "_r_2_24_29_32_58_59" }, { "id": "_r_2_24_29_32_58_60" }, { "id": "_r_2_24_29_32_58_61" } ] }, { "id": "_r_2_24_29_33", "children": [ { "id": "_r_2_24_29_33_53_54" }, { "id": "_r_2_24_29_33_53_56" }, { "id": "_r_2_24_29_33_53_57" } ] }, { "id": "_r_2_24_29_34", "children": [ { "id": "_r_2_24_29_34_62_63" }, { "id": "_r_2_24_29_34_62_64" }, { "id": "_r_2_24_29_34_62_65" } ] } ] }, { "id": "_r_2_25", "children": [ { "id": "_r_2_25_35_36", "children": [ { "id": "_r_2_25_35_36_38_39" }, { "id": "_r_2_25_35_36_38_40" }, { "id": "_r_2_25_35_36_38_41" } ] }, { "id": "_r_2_25_35_37", "children": [ { "id": "_r_2_25_35_37_42_43" }, { "id": "_r_2_25_35_37_42_44" } ] }, { "id": "_r_2_25_35_49", "children": [ { "id": "_r_2_25_35_49_50_51" }, { "id": "_r_2_25_35_49_50_52" } ] }, { "id": "_r_2_25_35_73", "children": [ { "id": "_r_2_25_35_73_87_88" }, { "id": "_r_2_25_35_73_87_89" } ] }, { "id": "_r_2_25_35_74" }, { "id": "_r_2_25_35_75" } ] }, { "id": "_r_2_26" }, { "id": "_r_2_27", "children": [ { "id": "_r_2_27_66_67", "children": [ { "id": "_r_2_27_66_67_78_79", "children": [ { "id": "_r_2_27_66_67_78_79_90_91" }, { "id": "_r_2_27_66_67_78_79_90_92" }, { "id": "_r_2_27_66_67_78_79_90_93" } ] }, { "id": "_r_2_27_66_67_78_80", "children": [ { "id": "_r_2_27_66_67_78_80_94_95" }, { "id": "_r_2_27_66_67_78_80_94_96" }, { "id": "_r_2_27_66_67_78_80_94_97" } ] }, { "id": "_r_2_27_66_67_78_81" }, { "id": "_r_2_27_66_67_78_82" }, { "id": "_r_2_27_66_67_78_83" } ] }, { "id": "_r_2_27_66_98" } ] }, { "id": "_r_2_28" } ] }, { "id": "_r_3" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_27_66_67_78_83" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_27_66_67_78_82" ] } ] } } }