{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_63": { "name": "_r_1_63", "optional": false, "type": "XOR", "note": "" }, "_r_1_63_64_65": { "name": "_r_1_63_64_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_63_64_66": { "name": "_r_1_63_64_66", "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_10_14": { "name": "_r_2_10_14", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_10_14_96": { "name": "_r_2_10_14_96", "optional": false, "type": "XOR", "note": "" }, "_r_2_10_14_96_111_112": { "name": "_r_2_10_14_96_111_112", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_10_14_96_111_113": { "name": "_r_2_10_14_96_111_113", "optional": true, "type": "XOR", "note": "" }, "_r_2_10_14_96_111_113_114_115": { "name": "_r_2_10_14_96_111_113_114_115", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_10_14_96_111_113_114_116": { "name": "_r_2_10_14_96_111_113_114_116", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_10_14_99": { "name": "_r_2_10_14_99", "optional": true, "type": "OR", "note": "" }, "_r_2_10_14_99_100_101": { "name": "_r_2_10_14_99_100_101", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_10_14_99_100_102": { "name": "_r_2_10_14_99_100_102", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_10_25": { "name": "_r_2_10_25", "optional": false, "type": "XOR", "note": "" }, "_r_2_10_25_26_27": { "name": "_r_2_10_25_26_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_10_25_26_28": { "name": "_r_2_10_25_26_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_11": { "name": "_r_2_11", "optional": false, "type": "OR", "note": "" }, "_r_2_11_32_34": { "name": "_r_2_11_32_34", "optional": true, "type": "XOR", "note": "" }, "_r_2_11_32_34_35_36": { "name": "_r_2_11_32_34_35_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_11_32_34_35_88": { "name": "_r_2_11_32_34_35_88", "optional": true, "type": "XOR", "note": "" }, "_r_2_11_32_34_35_88_89_90": { "name": "_r_2_11_32_34_35_88_89_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_11_32_34_35_88_89_91": { "name": "_r_2_11_32_34_35_88_89_91", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_11_32_87": { "name": "_r_2_11_32_87", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_12": { "name": "_r_2_12", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_12_103": { "name": "_r_2_12_103", "optional": true, "type": "XOR", "note": "" }, "_r_2_12_103_104_105": { "name": "_r_2_12_103_104_105", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_12_103_104_106": { "name": "_r_2_12_103_104_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_12_107": { "name": "_r_2_12_107", "optional": true, "type": "XOR", "note": "" }, "_r_2_12_107_108_109": { "name": "_r_2_12_107_108_109", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_12_107_108_110": { "name": "_r_2_12_107_108_110", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_12_41": { "name": "_r_2_12_41", "optional": false, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_53": { "name": "_r_3_53", "optional": false, "type": "XOR", "note": "" }, "_r_3_53_54": { "name": "_r_3_53_54", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_53_55_56": { "name": "_r_3_53_55_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_53_55_57": { "name": "_r_3_53_55_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_53_58": { "name": "_r_3_53_58", "optional": true, "type": "XOR", "note": "" }, "_r_3_53_58_59_60": { "name": "_r_3_53_58_59_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_53_58_59_61": { "name": "_r_3_53_58_59_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_53_62": { "name": "_r_3_53_62", "optional": true, "type": "XOR", "note": "" }, "_r_3_53_62_63_64": { "name": "_r_3_53_62_63_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_53_62_63_65": { "name": "_r_3_53_62_63_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_66": { "name": "_r_3_66", "optional": false, "type": "XOR", "note": "" }, "_r_3_66_67_68": { "name": "_r_3_66_67_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_66_67_92": { "name": "_r_3_66_67_92", "optional": true, "type": "XOR", "note": "" }, "_r_3_66_67_92_93_94": { "name": "_r_3_66_67_92_93_94", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_66_67_92_93_95": { "name": "_r_3_66_67_92_93_95", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_63", "children": [ { "id": "_r_1_63_64_65" }, { "id": "_r_1_63_64_66" } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_10", "children": [ { "id": "_r_2_10_14", "children": [ { "id": "_r_2_10_14_96", "children": [ { "id": "_r_2_10_14_96_111_112" }, { "id": "_r_2_10_14_96_111_113", "children": [ { "id": "_r_2_10_14_96_111_113_114_115" }, { "id": "_r_2_10_14_96_111_113_114_116" } ] } ] }, { "id": "_r_2_10_14_99", "children": [ { "id": "_r_2_10_14_99_100_101" }, { "id": "_r_2_10_14_99_100_102" } ] } ] }, { "id": "_r_2_10_25", "children": [ { "id": "_r_2_10_25_26_27" }, { "id": "_r_2_10_25_26_28" } ] } ] }, { "id": "_r_2_11", "children": [ { "id": "_r_2_11_32_34", "children": [ { "id": "_r_2_11_32_34_35_36" }, { "id": "_r_2_11_32_34_35_88", "children": [ { "id": "_r_2_11_32_34_35_88_89_90" }, { "id": "_r_2_11_32_34_35_88_89_91" } ] } ] }, { "id": "_r_2_11_32_87" } ] }, { "id": "_r_2_12", "children": [ { "id": "_r_2_12_103", "children": [ { "id": "_r_2_12_103_104_105" }, { "id": "_r_2_12_103_104_106" } ] }, { "id": "_r_2_12_107", "children": [ { "id": "_r_2_12_107_108_109" }, { "id": "_r_2_12_107_108_110" } ] }, { "id": "_r_2_12_41" } ] } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_53", "children": [ { "id": "_r_3_53_54" }, { "id": "_r_3_53_55_56" }, { "id": "_r_3_53_55_57" }, { "id": "_r_3_53_58", "children": [ { "id": "_r_3_53_58_59_60" }, { "id": "_r_3_53_58_59_61" } ] }, { "id": "_r_3_53_62", "children": [ { "id": "_r_3_53_62_63_64" }, { "id": "_r_3_53_62_63_65" } ] } ] }, { "id": "_r_3_66", "children": [ { "id": "_r_3_66_67_68" }, { "id": "_r_3_66_67_92", "children": [ { "id": "_r_3_66_67_92_93_94" }, { "id": "_r_3_66_67_92_93_95" } ] } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_53_62" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_63_64_66" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_53_58" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_63_64_66" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_63_64_65" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_10_14_96_111_112" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_63_64_65" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_10_14_96_111_112" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_66_67_92" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_12_107" ] } ] } } }