{ "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_104": { "name": "_r_104", "optional": false, "type": "OR", "note": "" }, "_r_104_105_106": { "name": "_r_104_105_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_104_105_107": { "name": "_r_104_105_107", "optional": true, "type": "FEATURE", "note": "" }, "_r_104_105_108": { "name": "_r_104_105_108", "optional": true, "type": "FEATURE", "note": "" }, "_r_109": { "name": "_r_109", "optional": false, "type": "XOR", "note": "" }, "_r_109_110_111": { "name": "_r_109_110_111", "optional": true, "type": "FEATURE", "note": "" }, "_r_109_110_112": { "name": "_r_109_110_112", "optional": true, "type": "FEATURE", "note": "" }, "_r_109_110_114": { "name": "_r_109_110_114", "optional": true, "type": "FEATURE", "note": "" }, "_r_109_110_115": { "name": "_r_109_110_115", "optional": true, "type": "FEATURE", "note": "" }, "_r_116": { "name": "_r_116", "optional": false, "type": "XOR", "note": "" }, "_r_116_117_118": { "name": "_r_116_117_118", "optional": true, "type": "FEATURE", "note": "" }, "_r_116_117_119": { "name": "_r_116_117_119", "optional": true, "type": "FEATURE", "note": "" }, "_r_120": { "name": "_r_120", "optional": false, "type": "XOR", "note": "" }, "_r_120_121_122": { "name": "_r_120_121_122", "optional": true, "type": "FEATURE", "note": "" }, "_r_120_121_123": { "name": "_r_120_121_123", "optional": true, "type": "FEATURE", "note": "" }, "_r_124": { "name": "_r_124", "optional": false, "type": "XOR", "note": "" }, "_r_124_125_126": { "name": "_r_124_125_126", "optional": true, "type": "FEATURE", "note": "" }, "_r_124_125_127": { "name": "_r_124_125_127", "optional": true, "type": "FEATURE", "note": "" }, "_r_128": { "name": "_r_128", "optional": false, "type": "XOR", "note": "" }, "_r_128_129_130": { "name": "_r_128_129_130", "optional": true, "type": "FEATURE", "note": "" }, "_r_128_129_131": { "name": "_r_128_129_131", "optional": true, "type": "FEATURE", "note": "" }, "_r_128_129_132": { "name": "_r_128_129_132", "optional": true, "type": "FEATURE", "note": "" }, "_r_133": { "name": "_r_133", "optional": true, "type": "OR", "note": "" }, "_r_133_134_135": { "name": "_r_133_134_135", "optional": true, "type": "FEATURE", "note": "" }, "_r_133_134_136": { "name": "_r_133_134_136", "optional": true, "type": "FEATURE", "note": "" }, "_r_133_134_137": { "name": "_r_133_134_137", "optional": true, "type": "FEATURE", "note": "" }, "_r_133_134_138": { "name": "_r_133_134_138", "optional": true, "type": "FEATURE", "note": "" }, "_r_139": { "name": "_r_139", "optional": true, "type": "OR", "note": "" }, "_r_139_140_141": { "name": "_r_139_140_141", "optional": true, "type": "FEATURE", "note": "" }, "_r_139_140_142": { "name": "_r_139_140_142", "optional": true, "type": "FEATURE", "note": "" }, "_r_139_140_143": { "name": "_r_139_140_143", "optional": true, "type": "FEATURE", "note": "" }, "_r_139_140_144": { "name": "_r_139_140_144", "optional": true, "type": "FEATURE", "note": "" }, "_r_139_140_145": { "name": "_r_139_140_145", "optional": true, "type": "FEATURE", "note": "" }, "_r_139_140_146": { "name": "_r_139_140_146", "optional": true, "type": "FEATURE", "note": "" }, "_r_139_140_147": { "name": "_r_139_140_147", "optional": true, "type": "FEATURE", "note": "" }, "_r_14": { "name": "_r_14", "optional": true, "type": "XOR", "note": "" }, "_r_14_15_16": { "name": "_r_14_15_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_17": { "name": "_r_14_15_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_18": { "name": "_r_14_15_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_19": { "name": "_r_14_15_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_20": { "name": "_r_14_15_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_118_119": { "name": "_r_1_118_119", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_118_121": { "name": "_r_1_118_121", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_118_122": { "name": "_r_1_118_122", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_118_123": { "name": "_r_1_118_123", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_118_124": { "name": "_r_1_118_124", "optional": true, "type": "FEATURE", "note": "" }, "_r_21": { "name": "_r_21", "optional": false, "type": "XOR", "note": "" }, "_r_21_22_23": { "name": "_r_21_22_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_24": { "name": "_r_21_22_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_25": { "name": "_r_21_22_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_26": { "name": "_r_21_22_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_27": { "name": "_r_27", "optional": false, "type": "XOR", "note": "" }, "_r_27_28_29": { "name": "_r_27_28_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_28_30": { "name": "_r_27_28_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_28_31": { "name": "_r_27_28_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_32": { "name": "_r_32", "optional": false, "type": "XOR", "note": "" }, "_r_32_33_34": { "name": "_r_32_33_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_32_33_35": { "name": "_r_32_33_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_32_33_36": { "name": "_r_32_33_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_32_33_37": { "name": "_r_32_33_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_32_33_38": { "name": "_r_32_33_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_32_33_39": { "name": "_r_32_33_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_40": { "name": "_r_40", "optional": true, "type": "XOR", "note": "" }, "_r_40_41_42": { "name": "_r_40_41_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_40_41_43": { "name": "_r_40_41_43", "optional": true, "type": "FEATURE", "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_49": { "name": "_r_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50": { "name": "_r_49_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_51": { "name": "_r_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_52": { "name": "_r_49_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_53": { "name": "_r_49_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_54": { "name": "_r_54", "optional": true, "type": "XOR", "note": "" }, "_r_54_55_56": { "name": "_r_54_55_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_55_57": { "name": "_r_54_55_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_55_58": { "name": "_r_54_55_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_55_59": { "name": "_r_54_55_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_55_60": { "name": "_r_54_55_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_55_61": { "name": "_r_54_55_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_62": { "name": "_r_62", "optional": true, "type": "XOR", "note": "" }, "_r_62_63_64": { "name": "_r_62_63_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_62_63_65": { "name": "_r_62_63_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_62_63_66": { "name": "_r_62_63_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_67": { "name": "_r_67", "optional": true, "type": "XOR", "note": "" }, "_r_67_68_69": { "name": "_r_67_68_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_67_68_70": { "name": "_r_67_68_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_71": { "name": "_r_71", "optional": false, "type": "OR", "note": "" }, "_r_71_74_75": { "name": "_r_71_74_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_71_74_76": { "name": "_r_71_74_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_77": { "name": "_r_77", "optional": true, "type": "XOR", "note": "" }, "_r_77_78_79": { "name": "_r_77_78_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_77_78_80": { "name": "_r_77_78_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_81": { "name": "_r_81", "optional": false, "type": "XOR", "note": "" }, "_r_81_82_83": { "name": "_r_81_82_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_82_84": { "name": "_r_81_82_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_82_85": { "name": "_r_81_82_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_86": { "name": "_r_86", "optional": false, "type": "XOR", "note": "" }, "_r_86_87_88": { "name": "_r_86_87_88", "optional": true, "type": "FEATURE", "note": "" }, "_r_86_87_89": { "name": "_r_86_87_89", "optional": true, "type": "FEATURE", "note": "" }, "_r_86_87_90": { "name": "_r_86_87_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_9": { "name": "_r_9", "optional": false, "type": "XOR", "note": "" }, "_r_91": { "name": "_r_91", "optional": false, "type": "XOR", "note": "" }, "_r_91_92_93": { "name": "_r_91_92_93", "optional": true, "type": "FEATURE", "note": "" }, "_r_91_92_94": { "name": "_r_91_92_94", "optional": true, "type": "FEATURE", "note": "" }, "_r_91_92_95": { "name": "_r_91_92_95", "optional": true, "type": "FEATURE", "note": "" }, "_r_91_92_96": { "name": "_r_91_92_96", "optional": true, "type": "FEATURE", "note": "" }, "_r_97": { "name": "_r_97", "optional": false, "type": "XOR", "note": "" }, "_r_97_100_101": { "name": "_r_97_100_101", "optional": true, "type": "FEATURE", "note": "" }, "_r_97_100_102": { "name": "_r_97_100_102", "optional": true, "type": "FEATURE", "note": "" }, "_r_97_100_103": { "name": "_r_97_100_103", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_10_11": { "name": "_r_9_10_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_10_12": { "name": "_r_9_10_12", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_118_119" }, { "id": "_r_1_118_121" }, { "id": "_r_1_118_122" }, { "id": "_r_1_118_123" }, { "id": "_r_1_118_124" } ] }, { "id": "_r_104", "children": [ { "id": "_r_104_105_106" }, { "id": "_r_104_105_107" }, { "id": "_r_104_105_108" } ] }, { "id": "_r_109", "children": [ { "id": "_r_109_110_111" }, { "id": "_r_109_110_112" }, { "id": "_r_109_110_114" }, { "id": "_r_109_110_115" } ] }, { "id": "_r_116", "children": [ { "id": "_r_116_117_118" }, { "id": "_r_116_117_119" } ] }, { "id": "_r_120", "children": [ { "id": "_r_120_121_122" }, { "id": "_r_120_121_123" } ] }, { "id": "_r_124", "children": [ { "id": "_r_124_125_126" }, { "id": "_r_124_125_127" } ] }, { "id": "_r_128", "children": [ { "id": "_r_128_129_130" }, { "id": "_r_128_129_131" }, { "id": "_r_128_129_132" } ] }, { "id": "_r_133", "children": [ { "id": "_r_133_134_135" }, { "id": "_r_133_134_136" }, { "id": "_r_133_134_137" }, { "id": "_r_133_134_138" } ] }, { "id": "_r_139", "children": [ { "id": "_r_139_140_141" }, { "id": "_r_139_140_142" }, { "id": "_r_139_140_143" }, { "id": "_r_139_140_144" }, { "id": "_r_139_140_145" }, { "id": "_r_139_140_146" }, { "id": "_r_139_140_147" } ] }, { "id": "_r_14", "children": [ { "id": "_r_14_15_16" }, { "id": "_r_14_15_17" }, { "id": "_r_14_15_18" }, { "id": "_r_14_15_19" }, { "id": "_r_14_15_20" } ] }, { "id": "_r_21", "children": [ { "id": "_r_21_22_23" }, { "id": "_r_21_22_24" }, { "id": "_r_21_22_25" }, { "id": "_r_21_22_26" } ] }, { "id": "_r_27", "children": [ { "id": "_r_27_28_29" }, { "id": "_r_27_28_30" }, { "id": "_r_27_28_31" } ] }, { "id": "_r_32", "children": [ { "id": "_r_32_33_34" }, { "id": "_r_32_33_35" }, { "id": "_r_32_33_36" }, { "id": "_r_32_33_37" }, { "id": "_r_32_33_38" }, { "id": "_r_32_33_39" } ] }, { "id": "_r_40", "children": [ { "id": "_r_40_41_42" }, { "id": "_r_40_41_43" } ] }, { "id": "_r_44", "children": [ { "id": "_r_44_45_46" }, { "id": "_r_44_45_47" }, { "id": "_r_44_45_48" } ] }, { "id": "_r_49", "children": [ { "id": "_r_49_50" }, { "id": "_r_49_51" }, { "id": "_r_49_52" }, { "id": "_r_49_53" } ] }, { "id": "_r_54", "children": [ { "id": "_r_54_55_56" }, { "id": "_r_54_55_57" }, { "id": "_r_54_55_58" }, { "id": "_r_54_55_59" }, { "id": "_r_54_55_60" }, { "id": "_r_54_55_61" } ] }, { "id": "_r_62", "children": [ { "id": "_r_62_63_64" }, { "id": "_r_62_63_65" }, { "id": "_r_62_63_66" } ] }, { "id": "_r_67", "children": [ { "id": "_r_67_68_69" }, { "id": "_r_67_68_70" } ] }, { "id": "_r_71", "children": [ { "id": "_r_71_74_75" }, { "id": "_r_71_74_76" } ] }, { "id": "_r_77", "children": [ { "id": "_r_77_78_79" }, { "id": "_r_77_78_80" } ] }, { "id": "_r_81", "children": [ { "id": "_r_81_82_83" }, { "id": "_r_81_82_84" }, { "id": "_r_81_82_85" } ] }, { "id": "_r_86", "children": [ { "id": "_r_86_87_88" }, { "id": "_r_86_87_89" }, { "id": "_r_86_87_90" } ] }, { "id": "_r_9", "children": [ { "id": "_r_9_10_11" }, { "id": "_r_9_10_12" } ] }, { "id": "_r_91", "children": [ { "id": "_r_91_92_93" }, { "id": "_r_91_92_94" }, { "id": "_r_91_92_95" }, { "id": "_r_91_92_96" } ] }, { "id": "_r_97", "children": [ { "id": "_r_97_100_101" }, { "id": "_r_97_100_102" }, { "id": "_r_97_100_103" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_77_78_79" ] }, { "type": "FeatureTerm", "operands": [ "_r_133_134_138" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_62_63_66" ] }, { "type": "FeatureTerm", "operands": [ "_r_77" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_32_33_39" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_91_92_93" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_32_33_37" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_91_92_96" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_109_110_114" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_21_22_23" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_133" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_71_74_76" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_109_110_114" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_21_22_23" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_139" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_118_119" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_128_129_130" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_40" ] }, { "type": "FeatureTerm", "operands": [ "_r_62" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_118_119" ] }, { "type": "FeatureTerm", "operands": [ "_r_32_33_39" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_109_110_115" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_109_110_115" ] }, { "type": "FeatureTerm", "operands": [ "_r_120_121_122" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_20" ] }, { "type": "FeatureTerm", "operands": [ "_r_91_92_93" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_97_100_103" ] }, { "type": "FeatureTerm", "operands": [ "_r_124_125_126" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_91_92_96" ] } ] } } }