{ "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_49_50": { "name": "_r_1_49_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_49_51": { "name": "_r_1_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_49_52": { "name": "_r_1_49_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_49_53": { "name": "_r_1_49_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_49_54": { "name": "_r_1_49_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_14": { "name": "_r_3_14", "optional": false, "type": "XOR", "note": "" }, "_r_3_14_86_87": { "name": "_r_3_14_86_87", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_14_86_88": { "name": "_r_3_14_86_88", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_14_86_89": { "name": "_r_3_14_86_89", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_14_86_90": { "name": "_r_3_14_86_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_14_86_91": { "name": "_r_3_14_86_91", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_15": { "name": "_r_3_15", "optional": false, "type": "XOR", "note": "" }, "_r_3_15_92_93": { "name": "_r_3_15_92_93", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_15_92_94": { "name": "_r_3_15_92_94", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_17": { "name": "_r_3_17", "optional": false, "type": "XOR", "note": "" }, "_r_3_17_95_100": { "name": "_r_3_17_95_100", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_17_95_96": { "name": "_r_3_17_95_96", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_17_95_97": { "name": "_r_3_17_95_97", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_17_95_98": { "name": "_r_3_17_95_98", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_17_95_99": { "name": "_r_3_17_95_99", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_18": { "name": "_r_3_18", "optional": true, "type": "XOR", "note": "" }, "_r_3_18_101_102": { "name": "_r_3_18_101_102", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_18_101_103": { "name": "_r_3_18_101_103", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_31": { "name": "_r_4_31", "optional": true, "type": "OR", "note": "" }, "_r_4_31_104_105": { "name": "_r_4_31_104_105", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_31_104_106": { "name": "_r_4_31_104_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_32": { "name": "_r_4_32", "optional": true, "type": "XOR", "note": "" }, "_r_4_32_107_108": { "name": "_r_4_32_107_108", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_32_107_109": { "name": "_r_4_32_107_109", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_32_107_110": { "name": "_r_4_32_107_110", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_52": { "name": "_r_52", "optional": false, "type": "XOR", "note": "" }, "_r_52_111_112": { "name": "_r_52_111_112", "optional": true, "type": "FEATURE", "note": "" }, "_r_52_111_113": { "name": "_r_52_111_113", "optional": true, "type": "FEATURE", "note": "" }, "_r_52_111_114": { "name": "_r_52_111_114", "optional": true, "type": "FEATURE", "note": "" }, "_r_74": { "name": "_r_74", "optional": false, "type": "XOR", "note": "" }, "_r_74_75_76": { "name": "_r_74_75_76", "optional": true, "type": "XOR", "note": "" }, "_r_74_75_76_82_83": { "name": "_r_74_75_76_82_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_75_76_82_84": { "name": "_r_74_75_76_82_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_75_76_82_85": { "name": "_r_74_75_76_82_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_75_77": { "name": "_r_74_75_77", "optional": true, "type": "XOR", "note": "" }, "_r_74_75_77_78_79": { "name": "_r_74_75_77_78_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_75_77_78_80": { "name": "_r_74_75_77_78_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_75_77_78_81": { "name": "_r_74_75_77_78_81", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_49_50" }, { "id": "_r_1_49_51" }, { "id": "_r_1_49_52" }, { "id": "_r_1_49_53" }, { "id": "_r_1_49_54" } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_14", "children": [ { "id": "_r_3_14_86_87" }, { "id": "_r_3_14_86_88" }, { "id": "_r_3_14_86_89" }, { "id": "_r_3_14_86_90" }, { "id": "_r_3_14_86_91" } ] }, { "id": "_r_3_15", "children": [ { "id": "_r_3_15_92_93" }, { "id": "_r_3_15_92_94" } ] }, { "id": "_r_3_17", "children": [ { "id": "_r_3_17_95_100" }, { "id": "_r_3_17_95_96" }, { "id": "_r_3_17_95_97" }, { "id": "_r_3_17_95_98" }, { "id": "_r_3_17_95_99" } ] }, { "id": "_r_3_18", "children": [ { "id": "_r_3_18_101_102" }, { "id": "_r_3_18_101_103" } ] } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_31", "children": [ { "id": "_r_4_31_104_105" }, { "id": "_r_4_31_104_106" } ] }, { "id": "_r_4_32", "children": [ { "id": "_r_4_32_107_108" }, { "id": "_r_4_32_107_109" }, { "id": "_r_4_32_107_110" } ] } ] }, { "id": "_r_5" }, { "id": "_r_52", "children": [ { "id": "_r_52_111_112" }, { "id": "_r_52_111_113" }, { "id": "_r_52_111_114" } ] }, { "id": "_r_74", "children": [ { "id": "_r_74_75_76", "children": [ { "id": "_r_74_75_76_82_83" }, { "id": "_r_74_75_76_82_84" }, { "id": "_r_74_75_76_82_85" } ] }, { "id": "_r_74_75_77", "children": [ { "id": "_r_74_75_77_78_79" }, { "id": "_r_74_75_77_78_80" }, { "id": "_r_74_75_77_78_81" } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_17_95_96" ] }, { "type": "FeatureTerm", "operands": [ "_r_52_111_112" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_17_95_96" ] }, { "type": "FeatureTerm", "operands": [ "_r_52_111_113" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_74_75_77" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_52_111_112" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_74_75_77" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_52_111_113" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_31_104_105" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_52_111_113" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_14_86_87" ] }, { "type": "FeatureTerm", "operands": [ "_r_52_111_112" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_31_104_106" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_52_111_113" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_14_86_87" ] }, { "type": "FeatureTerm", "operands": [ "_r_52_111_113" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_14_86_90" ] }, { "type": "FeatureTerm", "operands": [ "_r_52_111_114" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_17_95_99" ] }, { "type": "FeatureTerm", "operands": [ "_r_52_111_114" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_52_111_113" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_49_53" ] }, { "type": "FeatureTerm", "operands": [ "_r_74_75_76_82_85" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_49_54" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_52_111_113" ] } ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_74_75_77" ] }, { "type": "FeatureTerm", "operands": [ "_r_52_111_114" ] } ] } } }