{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_112": { "name": "_r_112", "optional": false, "type": "FEATURE", "note": "" }, "_r_112_113": { "name": "_r_112_113", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_114": { "name": "_r_112_114", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_115": { "name": "_r_112_115", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_117": { "name": "_r_112_117", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_118": { "name": "_r_112_118", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_119": { "name": "_r_112_119", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_120": { "name": "_r_112_120", "optional": false, "type": "FEATURE", "note": "" }, "_r_112_122": { "name": "_r_112_122", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_123": { "name": "_r_112_123", "optional": true, "type": "FEATURE", "note": "" }, "_r_112_124": { "name": "_r_112_124", "optional": true, "type": "FEATURE", "note": "" }, "_r_12": { "name": "_r_12", "optional": false, "type": "FEATURE", "note": "" }, "_r_125": { "name": "_r_125", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_129": { "name": "_r_125_129", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_129_130": { "name": "_r_125_129_130", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_129_131": { "name": "_r_125_129_131", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_132": { "name": "_r_125_132", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_132_133": { "name": "_r_125_132_133", "optional": false, "type": "FEATURE", "note": "" }, "_r_125_132_133_134": { "name": "_r_125_132_133_134", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_132_133_135": { "name": "_r_125_132_133_135", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_132_133_136": { "name": "_r_125_132_133_136", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_132_133_137": { "name": "_r_125_132_133_137", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_132_133_138": { "name": "_r_125_132_133_138", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_132_133_139": { "name": "_r_125_132_133_139", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_132_133_140": { "name": "_r_125_132_133_140", "optional": true, "type": "FEATURE", "note": "" }, "_r_125_132_133_141": { "name": "_r_125_132_133_141", "optional": true, "type": "FEATURE", "note": "" }, "_r_127": { "name": "_r_127", "optional": true, "type": "FEATURE", "note": "" }, "_r_127_142": { "name": "_r_127_142", "optional": false, "type": "FEATURE", "note": "" }, "_r_127_145": { "name": "_r_127_145", "optional": false, "type": "FEATURE", "note": "" }, "_r_127_146": { "name": "_r_127_146", "optional": false, "type": "FEATURE", "note": "" }, "_r_127_147": { "name": "_r_127_147", "optional": false, "type": "FEATURE", "note": "" }, "_r_127_148": { "name": "_r_127_148", "optional": false, "type": "FEATURE", "note": "" }, "_r_128": { "name": "_r_128", "optional": true, "type": "OR", "note": "" }, "_r_128_151_152": { "name": "_r_128_151_152", "optional": true, "type": "FEATURE", "note": "" }, "_r_128_151_153": { "name": "_r_128_151_153", "optional": true, "type": "FEATURE", "note": "" }, "_r_128_151_154": { "name": "_r_128_151_154", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_16": { "name": "_r_12_16", "optional": false, "type": "FEATURE", "note": "" }, "_r_12_16_17": { "name": "_r_12_16_17", "optional": false, "type": "FEATURE", "note": "" }, "_r_12_16_19": { "name": "_r_12_16_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_16_39": { "name": "_r_12_16_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_16_40": { "name": "_r_12_16_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_41": { "name": "_r_12_41", "optional": false, "type": "FEATURE", "note": "" }, "_r_12_42": { "name": "_r_12_42", "optional": false, "type": "FEATURE", "note": "" }, "_r_155": { "name": "_r_155", "optional": true, "type": "FEATURE", "note": "" }, "_r_155_156": { "name": "_r_155_156", "optional": true, "type": "FEATURE", "note": "" }, "_r_155_158": { "name": "_r_155_158", "optional": true, "type": "FEATURE", "note": "" }, "_r_159": { "name": "_r_159", "optional": false, "type": "FEATURE", "note": "" }, "_r_160": { "name": "_r_160", "optional": false, "type": "FEATURE", "note": "" }, "_r_161": { "name": "_r_161", "optional": true, "type": "OR", "note": "" }, "_r_161_162_163": { "name": "_r_161_162_163", "optional": true, "type": "FEATURE", "note": "" }, "_r_161_162_164": { "name": "_r_161_162_164", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_10": { "name": "_r_2_10", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_11": { "name": "_r_2_11", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_3": { "name": "_r_2_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_3_37": { "name": "_r_2_3_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_38": { "name": "_r_2_3_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_7": { "name": "_r_2_3_7", "optional": false, "type": "FEATURE", "note": "" }, "_r_40": { "name": "_r_40", "optional": false, "type": "FEATURE", "note": "" }, "_r_40_42": { "name": "_r_40_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_40_42_49": { "name": "_r_40_42_49", "optional": false, "type": "FEATURE", "note": "" }, "_r_40_42_50": { "name": "_r_40_42_50", "optional": false, "type": "FEATURE", "note": "" }, "_r_40_42_51": { "name": "_r_40_42_51", "optional": false, "type": "FEATURE", "note": "" }, "_r_40_42_52": { "name": "_r_40_42_52", "optional": false, "type": "FEATURE", "note": "" }, "_r_40_42_52_58": { "name": "_r_40_42_52_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_40_42_52_59": { "name": "_r_40_42_52_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_40_42_53": { "name": "_r_40_42_53", "optional": false, "type": "FEATURE", "note": "" }, "_r_40_42_57": { "name": "_r_40_42_57", "optional": false, "type": "FEATURE", "note": "" }, "_r_47": { "name": "_r_47", "optional": false, "type": "FEATURE", "note": "" }, "_r_47_48": { "name": "_r_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_47_49": { "name": "_r_47_49", "optional": false, "type": "FEATURE", "note": "" }, "_r_47_50": { "name": "_r_47_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_51": { "name": "_r_51", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_52": { "name": "_r_51_52", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_52_57": { "name": "_r_51_52_57", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_52_58": { "name": "_r_51_52_58", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_53": { "name": "_r_51_53", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_53_59": { "name": "_r_51_53_59", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_54": { "name": "_r_51_54", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_54_30": { "name": "_r_51_54_30", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_54_31": { "name": "_r_51_54_31", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_55": { "name": "_r_51_55", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_55_32": { "name": "_r_51_55_32", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_55_34": { "name": "_r_51_55_34", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_55_35": { "name": "_r_51_55_35", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_56": { "name": "_r_51_56", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_56_36": { "name": "_r_51_56_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_56_37": { "name": "_r_51_56_37", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_56_38": { "name": "_r_51_56_38", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_56_39": { "name": "_r_51_56_39", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_90": { "name": "_r_51_90", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_90_91": { "name": "_r_51_90_91", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_90_91_100": { "name": "_r_51_90_91_100", "optional": false, "type": "OR", "note": "" }, "_r_51_90_91_100_101_102": { "name": "_r_51_90_91_100_101_102", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_90_91_100_101_103": { "name": "_r_51_90_91_100_101_103", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_90_91_100_101_104": { "name": "_r_51_90_91_100_101_104", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_90_91_100_101_104_105": { "name": "_r_51_90_91_100_101_104_105", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_90_91_100_101_104_105_106": { "name": "_r_51_90_91_100_101_104_105_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_90_91_100_101_108": { "name": "_r_51_90_91_100_101_108", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_90_91_100_101_109": { "name": "_r_51_90_91_100_101_109", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_90_91_100_110": { "name": "_r_51_90_91_100_110", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_90_91_111": { "name": "_r_51_90_91_111", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_90_91_92": { "name": "_r_51_90_91_92", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_90_91_94": { "name": "_r_51_90_91_94", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_90_91_95": { "name": "_r_51_90_91_95", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_90_91_96": { "name": "_r_51_90_91_96", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_90_91_97": { "name": "_r_51_90_91_97", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_90_91_98": { "name": "_r_51_90_91_98", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_112", "children": [ { "id": "_r_112_113" }, { "id": "_r_112_114" }, { "id": "_r_112_115" }, { "id": "_r_112_117" }, { "id": "_r_112_118" }, { "id": "_r_112_119" }, { "id": "_r_112_120" }, { "id": "_r_112_122" }, { "id": "_r_112_123" }, { "id": "_r_112_124" } ] }, { "id": "_r_12", "children": [ { "id": "_r_12_16", "children": [ { "id": "_r_12_16_17" }, { "id": "_r_12_16_19" }, { "id": "_r_12_16_39" }, { "id": "_r_12_16_40" } ] }, { "id": "_r_12_41" }, { "id": "_r_12_42" } ] }, { "id": "_r_125", "children": [ { "id": "_r_125_129", "children": [ { "id": "_r_125_129_130" }, { "id": "_r_125_129_131" } ] }, { "id": "_r_125_132", "children": [ { "id": "_r_125_132_133", "children": [ { "id": "_r_125_132_133_134" }, { "id": "_r_125_132_133_135" }, { "id": "_r_125_132_133_136" }, { "id": "_r_125_132_133_137" }, { "id": "_r_125_132_133_138" }, { "id": "_r_125_132_133_139" }, { "id": "_r_125_132_133_140" }, { "id": "_r_125_132_133_141" } ] } ] } ] }, { "id": "_r_127", "children": [ { "id": "_r_127_142" }, { "id": "_r_127_145" }, { "id": "_r_127_146" }, { "id": "_r_127_147" }, { "id": "_r_127_148" } ] }, { "id": "_r_128", "children": [ { "id": "_r_128_151_152" }, { "id": "_r_128_151_153" }, { "id": "_r_128_151_154" } ] }, { "id": "_r_155", "children": [ { "id": "_r_155_156" }, { "id": "_r_155_158" } ] }, { "id": "_r_159" }, { "id": "_r_160" }, { "id": "_r_161", "children": [ { "id": "_r_161_162_163" }, { "id": "_r_161_162_164" } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_10" }, { "id": "_r_2_11" }, { "id": "_r_2_3", "children": [ { "id": "_r_2_3_37" }, { "id": "_r_2_3_38" }, { "id": "_r_2_3_7" } ] } ] }, { "id": "_r_40", "children": [ { "id": "_r_40_42", "children": [ { "id": "_r_40_42_49" }, { "id": "_r_40_42_50" }, { "id": "_r_40_42_51" }, { "id": "_r_40_42_52", "children": [ { "id": "_r_40_42_52_58" }, { "id": "_r_40_42_52_59" } ] }, { "id": "_r_40_42_53" }, { "id": "_r_40_42_57" } ] } ] }, { "id": "_r_47", "children": [ { "id": "_r_47_48" }, { "id": "_r_47_49" }, { "id": "_r_47_50" } ] }, { "id": "_r_51", "children": [ { "id": "_r_51_52", "children": [ { "id": "_r_51_52_57" }, { "id": "_r_51_52_58" } ] }, { "id": "_r_51_53", "children": [ { "id": "_r_51_53_59" } ] }, { "id": "_r_51_54", "children": [ { "id": "_r_51_54_30" }, { "id": "_r_51_54_31" } ] }, { "id": "_r_51_55", "children": [ { "id": "_r_51_55_32" }, { "id": "_r_51_55_34" }, { "id": "_r_51_55_35" } ] }, { "id": "_r_51_56", "children": [ { "id": "_r_51_56_36" }, { "id": "_r_51_56_37" }, { "id": "_r_51_56_38" }, { "id": "_r_51_56_39" } ] }, { "id": "_r_51_90", "children": [ { "id": "_r_51_90_91", "children": [ { "id": "_r_51_90_91_100", "children": [ { "id": "_r_51_90_91_100_101_102" }, { "id": "_r_51_90_91_100_101_103" }, { "id": "_r_51_90_91_100_101_104", "children": [ { "id": "_r_51_90_91_100_101_104_105", "children": [ { "id": "_r_51_90_91_100_101_104_105_106" } ] } ] }, { "id": "_r_51_90_91_100_101_108" }, { "id": "_r_51_90_91_100_101_109" }, { "id": "_r_51_90_91_100_110" } ] }, { "id": "_r_51_90_91_111" }, { "id": "_r_51_90_91_92" }, { "id": "_r_51_90_91_94" }, { "id": "_r_51_90_91_95" }, { "id": "_r_51_90_91_96" }, { "id": "_r_51_90_91_97" }, { "id": "_r_51_90_91_98" } ] } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_47" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_125" ] }, { "type": "FeatureTerm", "operands": [ "_r_125_129_131" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_125_132_133_141" ] }, { "type": "FeatureTerm", "operands": [ "_r_161_162_164" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_51_53_59" ] }, { "type": "FeatureTerm", "operands": [ "_r_125_132_133_135" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_51_55" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_51_56_36" ] }, { "type": "FeatureTerm", "operands": [ "_r_125_132_133_139" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_125_129" ] }, { "type": "FeatureTerm", "operands": [ "_r_159" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_51_56" ] }, { "type": "FeatureTerm", "operands": [ "_r_51_90_91_92" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_128_151_153" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_160" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_51_52_57" ] }, { "type": "FeatureTerm", "operands": [ "_r_125_132_133_140" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_51_90_91_94" ] }, { "type": "FeatureTerm", "operands": [ "_r_125_132_133_138" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_38" ] }, { "type": "FeatureTerm", "operands": [ "_r_155" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_51_90_91_98" ] }, { "type": "FeatureTerm", "operands": [ "_r_125_132_133_139" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_51_90_91_100" ] }, { "type": "FeatureTerm", "operands": [ "_r_51_90_91_100_110" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3" ] }, { "type": "FeatureTerm", "operands": [ "_r_12_16_19" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_47" ] }, { "type": "FeatureTerm", "operands": [ "_r_51_90_91" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_47" ] }, { "type": "FeatureTerm", "operands": [ "_r_51" ] } ] } } }