{ "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_1_7": { "name": "_r_1_7", "optional": false, "type": "XOR", "note": "" }, "_r_1_7_9_10": { "name": "_r_1_7_9_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_9_11": { "name": "_r_1_7_9_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_9_12": { "name": "_r_1_7_9_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_8": { "name": "_r_1_8", "optional": true, "type": "XOR", "note": "" }, "_r_1_8_13_14": { "name": "_r_1_8_13_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_8_13_15": { "name": "_r_1_8_13_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_8_13_16": { "name": "_r_1_8_13_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_17": { "name": "_r_2_17", "optional": true, "type": "XOR", "note": "" }, "_r_2_17_29_30": { "name": "_r_2_17_29_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_17_29_31": { "name": "_r_2_17_29_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_18": { "name": "_r_2_18", "optional": true, "type": "XOR", "note": "" }, "_r_2_18_32_33": { "name": "_r_2_18_32_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_18_32_34": { "name": "_r_2_18_32_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_19": { "name": "_r_2_19", "optional": true, "type": "XOR", "note": "" }, "_r_2_19_35_36": { "name": "_r_2_19_35_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_19_35_37": { "name": "_r_2_19_35_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_19_35_38": { "name": "_r_2_19_35_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_19_35_39": { "name": "_r_2_19_35_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20": { "name": "_r_2_20", "optional": true, "type": "XOR", "note": "" }, "_r_2_20_40_41": { "name": "_r_2_20_40_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20_40_42": { "name": "_r_2_20_40_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20_40_43": { "name": "_r_2_20_40_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_21": { "name": "_r_2_21", "optional": true, "type": "XOR", "note": "" }, "_r_2_21_44_45": { "name": "_r_2_21_44_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_21_44_46": { "name": "_r_2_21_44_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_23": { "name": "_r_2_23", "optional": true, "type": "XOR", "note": "" }, "_r_2_23_47_48": { "name": "_r_2_23_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_23_47_49": { "name": "_r_2_23_47_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_23_47_50": { "name": "_r_2_23_47_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_23_47_51": { "name": "_r_2_23_47_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_23_47_52": { "name": "_r_2_23_47_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_23_47_53": { "name": "_r_2_23_47_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_23_47_54": { "name": "_r_2_23_47_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_23_47_55": { "name": "_r_2_23_47_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24": { "name": "_r_2_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25": { "name": "_r_2_25", "optional": true, "type": "XOR", "note": "" }, "_r_2_25_56_57": { "name": "_r_2_25_56_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_25_56_58": { "name": "_r_2_25_56_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_26": { "name": "_r_2_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_71": { "name": "_r_2_71", "optional": true, "type": "XOR", "note": "" }, "_r_2_71_75_76": { "name": "_r_2_71_75_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_71_75_77": { "name": "_r_2_71_75_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_71_75_78": { "name": "_r_2_71_75_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_72": { "name": "_r_2_72", "optional": true, "type": "XOR", "note": "" }, "_r_2_72_79_80": { "name": "_r_2_72_79_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_72_79_81": { "name": "_r_2_72_79_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_73": { "name": "_r_2_73", "optional": true, "type": "XOR", "note": "" }, "_r_2_73_82_83": { "name": "_r_2_73_82_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_73_82_84": { "name": "_r_2_73_82_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_74": { "name": "_r_2_74", "optional": true, "type": "XOR", "note": "" }, "_r_2_74_85_86": { "name": "_r_2_74_85_86", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_74_85_87": { "name": "_r_2_74_85_87", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": true, "type": "XOR", "note": "" }, "_r_3_59_60": { "name": "_r_3_59_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_59_61": { "name": "_r_3_59_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_59_62": { "name": "_r_3_59_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_59_67": { "name": "_r_3_59_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_59_68": { "name": "_r_3_59_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_59_69": { "name": "_r_3_59_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_59_70": { "name": "_r_3_59_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_7", "children": [ { "id": "_r_1_7_9_10" }, { "id": "_r_1_7_9_11" }, { "id": "_r_1_7_9_12" } ] }, { "id": "_r_1_8", "children": [ { "id": "_r_1_8_13_14" }, { "id": "_r_1_8_13_15" }, { "id": "_r_1_8_13_16" } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_17", "children": [ { "id": "_r_2_17_29_30" }, { "id": "_r_2_17_29_31" } ] }, { "id": "_r_2_18", "children": [ { "id": "_r_2_18_32_33" }, { "id": "_r_2_18_32_34" } ] }, { "id": "_r_2_19", "children": [ { "id": "_r_2_19_35_36" }, { "id": "_r_2_19_35_37" }, { "id": "_r_2_19_35_38" }, { "id": "_r_2_19_35_39" } ] }, { "id": "_r_2_20", "children": [ { "id": "_r_2_20_40_41" }, { "id": "_r_2_20_40_42" }, { "id": "_r_2_20_40_43" } ] }, { "id": "_r_2_21", "children": [ { "id": "_r_2_21_44_45" }, { "id": "_r_2_21_44_46" } ] }, { "id": "_r_2_23", "children": [ { "id": "_r_2_23_47_48" }, { "id": "_r_2_23_47_49" }, { "id": "_r_2_23_47_50" }, { "id": "_r_2_23_47_51" }, { "id": "_r_2_23_47_52" }, { "id": "_r_2_23_47_53" }, { "id": "_r_2_23_47_54" }, { "id": "_r_2_23_47_55" } ] }, { "id": "_r_2_24" }, { "id": "_r_2_25", "children": [ { "id": "_r_2_25_56_57" }, { "id": "_r_2_25_56_58" } ] }, { "id": "_r_2_26" }, { "id": "_r_2_71", "children": [ { "id": "_r_2_71_75_76" }, { "id": "_r_2_71_75_77" }, { "id": "_r_2_71_75_78" } ] }, { "id": "_r_2_72", "children": [ { "id": "_r_2_72_79_80" }, { "id": "_r_2_72_79_81" } ] }, { "id": "_r_2_73", "children": [ { "id": "_r_2_73_82_83" }, { "id": "_r_2_73_82_84" } ] }, { "id": "_r_2_74", "children": [ { "id": "_r_2_74_85_86" }, { "id": "_r_2_74_85_87" } ] } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_59_60" }, { "id": "_r_3_59_61" }, { "id": "_r_3_59_62" }, { "id": "_r_3_59_67" }, { "id": "_r_3_59_68" }, { "id": "_r_3_59_69" }, { "id": "_r_3_59_70" } ] }, { "id": "_r_4" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_9_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_59_70" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_9_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_72" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_9_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_71" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_9_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_73" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_9_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_59_68" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_9_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_74" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_9_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_59_69" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_9_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_23_47_48" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_9_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_59_67" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_7_9_12" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_7_9_12" ] } ] } } }