{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_41": { "name": "_r_2_41", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_42": { "name": "_r_2_42", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_46": { "name": "_r_2_46", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_47": { "name": "_r_2_47", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_48": { "name": "_r_2_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_49": { "name": "_r_2_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_13": { "name": "_r_3_13", "optional": true, "type": "XOR", "note": "" }, "_r_3_13_14_15": { "name": "_r_3_13_14_15", "optional": true, "type": "OR", "note": "" }, "_r_3_13_14_15_54_55": { "name": "_r_3_13_14_15_54_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_55_57": { "name": "_r_3_13_14_15_54_55_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_55_59": { "name": "_r_3_13_14_15_54_55_59", "optional": true, "type": "XOR", "note": "" }, "_r_3_13_14_15_54_55_59_60_61": { "name": "_r_3_13_14_15_54_55_59_60_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_55_59_60_62": { "name": "_r_3_13_14_15_54_55_59_60_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_55_59_60_63": { "name": "_r_3_13_14_15_54_55_59_60_63", "optional": true, "type": "OR", "note": "" }, "_r_3_13_14_15_54_55_59_60_63_64_65": { "name": "_r_3_13_14_15_54_55_59_60_63_64_65", "optional": true, "type": "XOR", "note": "" }, "_r_3_13_14_15_54_55_59_60_63_64_65_67_68": { "name": "_r_3_13_14_15_54_55_59_60_63_64_65_67_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_55_59_60_63_64_65_67_69": { "name": "_r_3_13_14_15_54_55_59_60_63_64_65_67_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_55_59_60_63_64_66": { "name": "_r_3_13_14_15_54_55_59_60_63_64_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_55_71": { "name": "_r_3_13_14_15_54_55_71", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_55_72": { "name": "_r_3_13_14_15_54_55_72", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_55_73": { "name": "_r_3_13_14_15_54_55_73", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_56": { "name": "_r_3_13_14_15_54_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_56_64": { "name": "_r_3_13_14_15_54_56_64", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_56_65": { "name": "_r_3_13_14_15_54_56_65", "optional": true, "type": "XOR", "note": "" }, "_r_3_13_14_15_54_56_65_70_71": { "name": "_r_3_13_14_15_54_56_65_70_71", "optional": true, "type": "OR", "note": "" }, "_r_3_13_14_15_54_56_65_70_71_73_74": { "name": "_r_3_13_14_15_54_56_65_70_71_73_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_56_65_70_71_73_75": { "name": "_r_3_13_14_15_54_56_65_70_71_73_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_56_65_70_72": { "name": "_r_3_13_14_15_54_56_65_70_72", "optional": true, "type": "OR", "note": "" }, "_r_3_13_14_15_54_56_65_70_72_76_77": { "name": "_r_3_13_14_15_54_56_65_70_72_76_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_56_65_70_72_76_78": { "name": "_r_3_13_14_15_54_56_65_70_72_76_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_15_54_56_65_70_72_76_81": { "name": "_r_3_13_14_15_54_56_65_70_72_76_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_13_14_18": { "name": "_r_3_13_14_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_19": { "name": "_r_3_19", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_19_82": { "name": "_r_3_19_82", "optional": true, "type": "XOR", "note": "" }, "_r_3_19_82_86_87": { "name": "_r_3_19_82_86_87", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_19_82_86_88": { "name": "_r_3_19_82_86_88", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_19_84": { "name": "_r_3_19_84", "optional": true, "type": "XOR", "note": "" }, "_r_3_19_84_89_90": { "name": "_r_3_19_84_89_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_19_84_89_91": { "name": "_r_3_19_84_89_91", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_19_85": { "name": "_r_3_19_85", "optional": true, "type": "XOR", "note": "" }, "_r_3_19_85_92_93": { "name": "_r_3_19_85_92_93", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_19_85_92_94": { "name": "_r_3_19_85_92_94", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_19_85_92_95": { "name": "_r_3_19_85_92_95", "optional": true, "type": "OR", "note": "" }, "_r_3_19_85_92_95_96_97": { "name": "_r_3_19_85_92_95_96_97", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_19_85_92_95_96_98": { "name": "_r_3_19_85_92_95_96_98", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20": { "name": "_r_3_20", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_20_101": { "name": "_r_3_20_101", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_20_102": { "name": "_r_3_20_102", "optional": true, "type": "OR", "note": "" }, "_r_3_20_102_114_115": { "name": "_r_3_20_102_114_115", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_102_114_116": { "name": "_r_3_20_102_114_116", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_102_114_117": { "name": "_r_3_20_102_114_117", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_103": { "name": "_r_3_20_103", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_20_104": { "name": "_r_3_20_104", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_20_106": { "name": "_r_3_20_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_99": { "name": "_r_3_20_99", "optional": true, "type": "OR", "note": "" }, "_r_3_20_99_107_108": { "name": "_r_3_20_99_107_108", "optional": true, "type": "OR", "note": "" }, "_r_3_20_99_107_108_109_110": { "name": "_r_3_20_99_107_108_109_110", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_99_107_108_109_111": { "name": "_r_3_20_99_107_108_109_111", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_99_107_112": { "name": "_r_3_20_99_107_112", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_99_107_113": { "name": "_r_3_20_99_107_113", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_21": { "name": "_r_3_21", "optional": true, "type": "XOR", "note": "" }, "_r_3_21_24_25": { "name": "_r_3_21_24_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_21_24_26": { "name": "_r_3_21_24_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_27": { "name": "_r_3_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_31": { "name": "_r_3_31", "optional": true, "type": "XOR", "note": "" }, "_r_3_31_77_78": { "name": "_r_3_31_77_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_31_77_79": { "name": "_r_3_31_77_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_32": { "name": "_r_3_32", "optional": true, "type": "XOR", "note": "" }, "_r_3_32_80_81": { "name": "_r_3_32_80_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_32_80_82": { "name": "_r_3_32_80_82", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_34": { "name": "_r_3_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_35": { "name": "_r_3_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_37": { "name": "_r_3_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_39": { "name": "_r_3_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_40": { "name": "_r_3_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_6": { "name": "_r_3_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7": { "name": "_r_3_7", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_7_37": { "name": "_r_3_7_37", "optional": true, "type": "XOR", "note": "" }, "_r_3_7_37_47_48": { "name": "_r_3_7_37_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_37_47_49": { "name": "_r_3_7_37_47_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_38": { "name": "_r_3_7_38", "optional": true, "type": "XOR", "note": "" }, "_r_3_7_38_56_57": { "name": "_r_3_7_38_56_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_38_56_58": { "name": "_r_3_7_38_56_58", "optional": true, "type": "OR", "note": "" }, "_r_3_7_38_56_58_62_63": { "name": "_r_3_7_38_56_58_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_38_56_58_62_64": { "name": "_r_3_7_38_56_58_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_40": { "name": "_r_3_7_40", "optional": true, "type": "XOR", "note": "" }, "_r_3_7_40_65_66": { "name": "_r_3_7_40_65_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_40_65_67": { "name": "_r_3_7_40_65_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_41": { "name": "_r_3_7_41", "optional": true, "type": "XOR", "note": "" }, "_r_3_7_41_68_69": { "name": "_r_3_7_41_68_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_41_68_70": { "name": "_r_3_7_41_68_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_71": { "name": "_r_3_7_71", "optional": true, "type": "XOR", "note": "" }, "_r_3_7_71_74_75": { "name": "_r_3_7_71_74_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_71_74_76": { "name": "_r_3_7_71_74_76", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_2", "children": [ { "id": "_r_2_41" }, { "id": "_r_2_42" }, { "id": "_r_2_46" }, { "id": "_r_2_47" }, { "id": "_r_2_48" }, { "id": "_r_2_49" } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_13", "children": [ { "id": "_r_3_13_14_15", "children": [ { "id": "_r_3_13_14_15_54_55", "children": [ { "id": "_r_3_13_14_15_54_55_57" }, { "id": "_r_3_13_14_15_54_55_59", "children": [ { "id": "_r_3_13_14_15_54_55_59_60_61" }, { "id": "_r_3_13_14_15_54_55_59_60_62" }, { "id": "_r_3_13_14_15_54_55_59_60_63", "children": [ { "id": "_r_3_13_14_15_54_55_59_60_63_64_65", "children": [ { "id": "_r_3_13_14_15_54_55_59_60_63_64_65_67_68" }, { "id": "_r_3_13_14_15_54_55_59_60_63_64_65_67_69" } ] }, { "id": "_r_3_13_14_15_54_55_59_60_63_64_66" } ] } ] }, { "id": "_r_3_13_14_15_54_55_71" }, { "id": "_r_3_13_14_15_54_55_72" }, { "id": "_r_3_13_14_15_54_55_73" } ] }, { "id": "_r_3_13_14_15_54_56", "children": [ { "id": "_r_3_13_14_15_54_56_64" }, { "id": "_r_3_13_14_15_54_56_65", "children": [ { "id": "_r_3_13_14_15_54_56_65_70_71", "children": [ { "id": "_r_3_13_14_15_54_56_65_70_71_73_74" }, { "id": "_r_3_13_14_15_54_56_65_70_71_73_75" } ] }, { "id": "_r_3_13_14_15_54_56_65_70_72", "children": [ { "id": "_r_3_13_14_15_54_56_65_70_72_76_77" }, { "id": "_r_3_13_14_15_54_56_65_70_72_76_78" }, { "id": "_r_3_13_14_15_54_56_65_70_72_76_81" } ] } ] } ] } ] }, { "id": "_r_3_13_14_18" } ] }, { "id": "_r_3_19", "children": [ { "id": "_r_3_19_82", "children": [ { "id": "_r_3_19_82_86_87" }, { "id": "_r_3_19_82_86_88" } ] }, { "id": "_r_3_19_84", "children": [ { "id": "_r_3_19_84_89_90" }, { "id": "_r_3_19_84_89_91" } ] }, { "id": "_r_3_19_85", "children": [ { "id": "_r_3_19_85_92_93" }, { "id": "_r_3_19_85_92_94" }, { "id": "_r_3_19_85_92_95", "children": [ { "id": "_r_3_19_85_92_95_96_97" }, { "id": "_r_3_19_85_92_95_96_98" } ] } ] } ] }, { "id": "_r_3_20", "children": [ { "id": "_r_3_20_101" }, { "id": "_r_3_20_102", "children": [ { "id": "_r_3_20_102_114_115" }, { "id": "_r_3_20_102_114_116" }, { "id": "_r_3_20_102_114_117" } ] }, { "id": "_r_3_20_103" }, { "id": "_r_3_20_104" }, { "id": "_r_3_20_106" }, { "id": "_r_3_20_99", "children": [ { "id": "_r_3_20_99_107_108", "children": [ { "id": "_r_3_20_99_107_108_109_110" }, { "id": "_r_3_20_99_107_108_109_111" } ] }, { "id": "_r_3_20_99_107_112" }, { "id": "_r_3_20_99_107_113" } ] } ] }, { "id": "_r_3_21", "children": [ { "id": "_r_3_21_24_25" }, { "id": "_r_3_21_24_26" } ] }, { "id": "_r_3_27" }, { "id": "_r_3_31", "children": [ { "id": "_r_3_31_77_78" }, { "id": "_r_3_31_77_79" } ] }, { "id": "_r_3_32", "children": [ { "id": "_r_3_32_80_81" }, { "id": "_r_3_32_80_82" } ] }, { "id": "_r_3_34" }, { "id": "_r_3_35" }, { "id": "_r_3_37" }, { "id": "_r_3_39" }, { "id": "_r_3_40" }, { "id": "_r_3_6" }, { "id": "_r_3_7", "children": [ { "id": "_r_3_7_37", "children": [ { "id": "_r_3_7_37_47_48" }, { "id": "_r_3_7_37_47_49" } ] }, { "id": "_r_3_7_38", "children": [ { "id": "_r_3_7_38_56_57" }, { "id": "_r_3_7_38_56_58", "children": [ { "id": "_r_3_7_38_56_58_62_63" }, { "id": "_r_3_7_38_56_58_62_64" } ] } ] }, { "id": "_r_3_7_40", "children": [ { "id": "_r_3_7_40_65_66" }, { "id": "_r_3_7_40_65_67" } ] }, { "id": "_r_3_7_41", "children": [ { "id": "_r_3_7_41_68_69" }, { "id": "_r_3_7_41_68_70" } ] }, { "id": "_r_3_7_71", "children": [ { "id": "_r_3_7_71_74_75" }, { "id": "_r_3_7_71_74_76" } ] } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_37" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_7_38_56_57" ] } ] } } }