{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_16": { "name": "_r_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_16_96": { "name": "_r_16_96", "optional": false, "type": "OR", "note": "" }, "_r_16_96_97_100": { "name": "_r_16_96_97_100", "optional": true, "type": "FEATURE", "note": "" }, "_r_16_96_97_101": { "name": "_r_16_96_97_101", "optional": true, "type": "FEATURE", "note": "" }, "_r_16_96_97_103": { "name": "_r_16_96_97_103", "optional": true, "type": "FEATURE", "note": "" }, "_r_16_96_97_98": { "name": "_r_16_96_97_98", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": false, "type": "OR", "note": "" }, "_r_43": { "name": "_r_43", "optional": false, "type": "OR", "note": "" }, "_r_43_59_60": { "name": "_r_43_59_60", "optional": true, "type": "OR", "note": "" }, "_r_43_59_60_62_63": { "name": "_r_43_59_60_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_59_60_62_65": { "name": "_r_43_59_60_62_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_59_61": { "name": "_r_43_59_61", "optional": true, "type": "OR", "note": "" }, "_r_43_59_61_67_68": { "name": "_r_43_59_61_67_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_59_61_67_69": { "name": "_r_43_59_61_67_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_59_61_67_70": { "name": "_r_43_59_61_67_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_59_64": { "name": "_r_43_59_64", "optional": true, "type": "OR", "note": "" }, "_r_43_59_64_72_73": { "name": "_r_43_59_64_72_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_59_64_72_74": { "name": "_r_43_59_64_72_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_59_64_72_75": { "name": "_r_43_59_64_72_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_48": { "name": "_r_48", "optional": true, "type": "OR", "note": "" }, "_r_48_49_105": { "name": "_r_48_49_105", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_49_50": { "name": "_r_48_49_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_49_51": { "name": "_r_48_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_49_52": { "name": "_r_48_49_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_49_53": { "name": "_r_48_49_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_49_54": { "name": "_r_48_49_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_49_57": { "name": "_r_48_49_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_49_59": { "name": "_r_48_49_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_10_107": { "name": "_r_4_10_107", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_10_11": { "name": "_r_4_10_11", "optional": true, "type": "OR", "note": "" }, "_r_4_10_11_13_104": { "name": "_r_4_10_11_13_104", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_10_11_13_14": { "name": "_r_4_10_11_13_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_10_12": { "name": "_r_4_10_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": false, "type": "OR", "note": "" }, "_r_5_17_18": { "name": "_r_5_17_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_17_19": { "name": "_r_5_17_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_17_20": { "name": "_r_5_17_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_17_24": { "name": "_r_5_17_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_17_26": { "name": "_r_5_17_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_60": { "name": "_r_60", "optional": true, "type": "OR", "note": "" }, "_r_60_61_62": { "name": "_r_60_61_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_60_61_63": { "name": "_r_60_61_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_60_61_64": { "name": "_r_60_61_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_65": { "name": "_r_65", "optional": true, "type": "OR", "note": "" }, "_r_65_70_71": { "name": "_r_65_70_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_65_70_72": { "name": "_r_65_70_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_65_70_73": { "name": "_r_65_70_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_65_70_74": { "name": "_r_65_70_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_7": { "name": "_r_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_78": { "name": "_r_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_79": { "name": "_r_79", "optional": false, "type": "XOR", "note": "" }, "_r_79_82_83": { "name": "_r_79_82_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_79_82_84": { "name": "_r_79_82_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_79_82_85": { "name": "_r_79_82_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_86": { "name": "_r_86", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_16", "children": [ { "id": "_r_16_96", "children": [ { "id": "_r_16_96_97_100" }, { "id": "_r_16_96_97_101" }, { "id": "_r_16_96_97_103" }, { "id": "_r_16_96_97_98" } ] } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_10_107" }, { "id": "_r_4_10_11", "children": [ { "id": "_r_4_10_11_13_104" }, { "id": "_r_4_10_11_13_14" } ] }, { "id": "_r_4_10_12" } ] }, { "id": "_r_43", "children": [ { "id": "_r_43_59_60", "children": [ { "id": "_r_43_59_60_62_63" }, { "id": "_r_43_59_60_62_65" } ] }, { "id": "_r_43_59_61", "children": [ { "id": "_r_43_59_61_67_68" }, { "id": "_r_43_59_61_67_69" }, { "id": "_r_43_59_61_67_70" } ] }, { "id": "_r_43_59_64", "children": [ { "id": "_r_43_59_64_72_73" }, { "id": "_r_43_59_64_72_74" }, { "id": "_r_43_59_64_72_75" } ] } ] }, { "id": "_r_48", "children": [ { "id": "_r_48_49_105" }, { "id": "_r_48_49_50" }, { "id": "_r_48_49_51" }, { "id": "_r_48_49_52" }, { "id": "_r_48_49_53" }, { "id": "_r_48_49_54" }, { "id": "_r_48_49_57" }, { "id": "_r_48_49_59" } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_17_18" }, { "id": "_r_5_17_19" }, { "id": "_r_5_17_20" }, { "id": "_r_5_17_24" }, { "id": "_r_5_17_26" } ] }, { "id": "_r_60", "children": [ { "id": "_r_60_61_62" }, { "id": "_r_60_61_63" }, { "id": "_r_60_61_64" } ] }, { "id": "_r_65", "children": [ { "id": "_r_65_70_71" }, { "id": "_r_65_70_72" }, { "id": "_r_65_70_73" }, { "id": "_r_65_70_74" } ] }, { "id": "_r_7" }, { "id": "_r_78" }, { "id": "_r_79", "children": [ { "id": "_r_79_82_83" }, { "id": "_r_79_82_84" }, { "id": "_r_79_82_85" } ] }, { "id": "_r_86" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_43_59_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_48_49_105" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_43_59_64" ] }, { "type": "FeatureTerm", "operands": [ "_r_48_49_105" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_17_19" ] }, { "type": "FeatureTerm", "operands": [ "_r_79_82_85" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_78" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_86" ] } ] } } }