{ "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_101": { "name": "_r_101", "optional": false, "type": "XOR", "note": "" }, "_r_101_102_103": { "name": "_r_101_102_103", "optional": true, "type": "FEATURE", "note": "" }, "_r_101_102_104": { "name": "_r_101_102_104", "optional": true, "type": "FEATURE", "note": "" }, "_r_101_102_105": { "name": "_r_101_102_105", "optional": true, "type": "FEATURE", "note": "" }, "_r_106": { "name": "_r_106", "optional": false, "type": "XOR", "note": "" }, "_r_106_107_108": { "name": "_r_106_107_108", "optional": true, "type": "FEATURE", "note": "" }, "_r_106_107_109": { "name": "_r_106_107_109", "optional": true, "type": "FEATURE", "note": "" }, "_r_110": { "name": "_r_110", "optional": false, "type": "XOR", "note": "" }, "_r_110_111_112": { "name": "_r_110_111_112", "optional": true, "type": "FEATURE", "note": "" }, "_r_110_111_113": { "name": "_r_110_111_113", "optional": true, "type": "FEATURE", "note": "" }, "_r_114": { "name": "_r_114", "optional": false, "type": "XOR", "note": "" }, "_r_114_115_116": { "name": "_r_114_115_116", "optional": true, "type": "FEATURE", "note": "" }, "_r_114_115_117": { "name": "_r_114_115_117", "optional": true, "type": "FEATURE", "note": "" }, "_r_114_115_118": { "name": "_r_114_115_118", "optional": true, "type": "FEATURE", "note": "" }, "_r_19": { "name": "_r_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_32": { "name": "_r_19_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_33": { "name": "_r_19_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_8_10": { "name": "_r_1_8_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_8_9": { "name": "_r_1_8_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_11": { "name": "_r_2_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_12": { "name": "_r_2_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_13": { "name": "_r_2_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_14": { "name": "_r_2_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "XOR", "note": "" }, "_r_31": { "name": "_r_31", "optional": true, "type": "XOR", "note": "" }, "_r_31_32_33": { "name": "_r_31_32_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32_34": { "name": "_r_31_32_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32_35": { "name": "_r_31_32_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32_36": { "name": "_r_31_32_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_39": { "name": "_r_39", "optional": true, "type": "XOR", "note": "" }, "_r_39_40_41": { "name": "_r_39_40_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_39_40_42": { "name": "_r_39_40_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_39_40_43": { "name": "_r_39_40_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_15_16": { "name": "_r_3_15_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_15_17": { "name": "_r_3_15_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_15_18": { "name": "_r_3_15_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": true, "type": "OR", "note": "" }, "_r_44": { "name": "_r_44", "optional": true, "type": "XOR", "note": "" }, "_r_44_45_46": { "name": "_r_44_45_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_45_47": { "name": "_r_44_45_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_45_48": { "name": "_r_44_45_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_45_49": { "name": "_r_44_45_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_20_21": { "name": "_r_4_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_20_22": { "name": "_r_4_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_20_29": { "name": "_r_4_20_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": false, "type": "XOR", "note": "" }, "_r_50": { "name": "_r_50", "optional": true, "type": "XOR", "note": "" }, "_r_50_51_52": { "name": "_r_50_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_50_51_53": { "name": "_r_50_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_50_51_54": { "name": "_r_50_51_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_50_51_55": { "name": "_r_50_51_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_56": { "name": "_r_56", "optional": true, "type": "OR", "note": "" }, "_r_56_57_58": { "name": "_r_56_57_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_57_59": { "name": "_r_56_57_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_57_60": { "name": "_r_56_57_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_23_24": { "name": "_r_5_23_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_23_25": { "name": "_r_5_23_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_23_30": { "name": "_r_5_23_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": true, "type": "XOR", "note": "" }, "_r_61": { "name": "_r_61", "optional": false, "type": "XOR", "note": "" }, "_r_61_62_63": { "name": "_r_61_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_62_64": { "name": "_r_61_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_62_65": { "name": "_r_61_62_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_62_66": { "name": "_r_61_62_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_62_67": { "name": "_r_61_62_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_68": { "name": "_r_68", "optional": true, "type": "XOR", "note": "" }, "_r_68_70_71": { "name": "_r_68_70_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_68_70_72": { "name": "_r_68_70_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_68_70_73": { "name": "_r_68_70_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_26_27": { "name": "_r_6_26_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_26_28": { "name": "_r_6_26_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_7": { "name": "_r_7", "optional": false, "type": "OR", "note": "" }, "_r_74": { "name": "_r_74", "optional": false, "type": "XOR", "note": "" }, "_r_74_75_76": { "name": "_r_74_75_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_75_77": { "name": "_r_74_75_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_75_78": { "name": "_r_74_75_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_75_79": { "name": "_r_74_75_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_29_30": { "name": "_r_7_29_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_29_31": { "name": "_r_7_29_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_80": { "name": "_r_80", "optional": false, "type": "XOR", "note": "" }, "_r_80_81_82": { "name": "_r_80_81_82", "optional": true, "type": "FEATURE", "note": "" }, "_r_80_81_83": { "name": "_r_80_81_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_80_81_84": { "name": "_r_80_81_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_85": { "name": "_r_85", "optional": false, "type": "OR", "note": "" }, "_r_85_86_87": { "name": "_r_85_86_87", "optional": true, "type": "FEATURE", "note": "" }, "_r_85_86_88": { "name": "_r_85_86_88", "optional": true, "type": "FEATURE", "note": "" }, "_r_85_86_89": { "name": "_r_85_86_89", "optional": true, "type": "FEATURE", "note": "" }, "_r_85_86_90": { "name": "_r_85_86_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_85_86_91": { "name": "_r_85_86_91", "optional": true, "type": "FEATURE", "note": "" }, "_r_92": { "name": "_r_92", "optional": false, "type": "OR", "note": "" }, "_r_92_97_100": { "name": "_r_92_97_100", "optional": true, "type": "FEATURE", "note": "" }, "_r_92_97_98": { "name": "_r_92_97_98", "optional": true, "type": "FEATURE", "note": "" }, "_r_92_97_99": { "name": "_r_92_97_99", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_8_10" }, { "id": "_r_1_8_9" } ] }, { "id": "_r_101", "children": [ { "id": "_r_101_102_103" }, { "id": "_r_101_102_104" }, { "id": "_r_101_102_105" } ] }, { "id": "_r_106", "children": [ { "id": "_r_106_107_108" }, { "id": "_r_106_107_109" } ] }, { "id": "_r_110", "children": [ { "id": "_r_110_111_112" }, { "id": "_r_110_111_113" } ] }, { "id": "_r_114", "children": [ { "id": "_r_114_115_116" }, { "id": "_r_114_115_117" }, { "id": "_r_114_115_118" } ] }, { "id": "_r_19", "children": [ { "id": "_r_19_32" }, { "id": "_r_19_33" } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_11" }, { "id": "_r_2_12" }, { "id": "_r_2_13" }, { "id": "_r_2_14" } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_15_16" }, { "id": "_r_3_15_17" }, { "id": "_r_3_15_18" } ] }, { "id": "_r_31", "children": [ { "id": "_r_31_32_33" }, { "id": "_r_31_32_34" }, { "id": "_r_31_32_35" }, { "id": "_r_31_32_36" } ] }, { "id": "_r_39", "children": [ { "id": "_r_39_40_41" }, { "id": "_r_39_40_42" }, { "id": "_r_39_40_43" } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_20_21" }, { "id": "_r_4_20_22" }, { "id": "_r_4_20_29" } ] }, { "id": "_r_44", "children": [ { "id": "_r_44_45_46" }, { "id": "_r_44_45_47" }, { "id": "_r_44_45_48" }, { "id": "_r_44_45_49" } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_23_24" }, { "id": "_r_5_23_25" }, { "id": "_r_5_23_30" } ] }, { "id": "_r_50", "children": [ { "id": "_r_50_51_52" }, { "id": "_r_50_51_53" }, { "id": "_r_50_51_54" }, { "id": "_r_50_51_55" } ] }, { "id": "_r_56", "children": [ { "id": "_r_56_57_58" }, { "id": "_r_56_57_59" }, { "id": "_r_56_57_60" } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_26_27" }, { "id": "_r_6_26_28" } ] }, { "id": "_r_61", "children": [ { "id": "_r_61_62_63" }, { "id": "_r_61_62_64" }, { "id": "_r_61_62_65" }, { "id": "_r_61_62_66" }, { "id": "_r_61_62_67" } ] }, { "id": "_r_68", "children": [ { "id": "_r_68_70_71" }, { "id": "_r_68_70_72" }, { "id": "_r_68_70_73" } ] }, { "id": "_r_7", "children": [ { "id": "_r_7_29_30" }, { "id": "_r_7_29_31" } ] }, { "id": "_r_74", "children": [ { "id": "_r_74_75_76" }, { "id": "_r_74_75_77" }, { "id": "_r_74_75_78" }, { "id": "_r_74_75_79" } ] }, { "id": "_r_80", "children": [ { "id": "_r_80_81_82" }, { "id": "_r_80_81_83" }, { "id": "_r_80_81_84" } ] }, { "id": "_r_85", "children": [ { "id": "_r_85_86_87" }, { "id": "_r_85_86_88" }, { "id": "_r_85_86_89" }, { "id": "_r_85_86_90" }, { "id": "_r_85_86_91" } ] }, { "id": "_r_92", "children": [ { "id": "_r_92_97_100" }, { "id": "_r_92_97_98" }, { "id": "_r_92_97_99" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1" ] }, { "type": "FeatureTerm", "operands": [ "_r_4" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_61_62_66" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_74_75_76" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_61_62_64" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_92_97_98" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_92_97_100" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_80_81_84" ] }, { "type": "FeatureTerm", "operands": [ "_r_110_111_112" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_23_24" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_19_32" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_92_97_99" ] }, { "type": "FeatureTerm", "operands": [ "_r_114_115_116" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_39_40_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_61_62_64" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_68_70_73" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_92_97_99" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_92_97_98" ] }, { "type": "FeatureTerm", "operands": [ "_r_101_102_103" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_7_29_31" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_92_97_98" ] }, { "type": "FeatureTerm", "operands": [ "_r_106_107_108" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_33" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_39_40_43" ] } ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_12" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_39_40_43" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_44" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_19" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_20_22" ] } ] } } }