{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "OR", "note": "" }, "_r_1_2": { "name": "_r_1_2", "optional": true, "type": "OR", "note": "" }, "_r_1_2_3_4": { "name": "_r_1_2_3_4", "optional": true, "type": "OR", "note": "" }, "_r_1_2_3_4_14_15": { "name": "_r_1_2_3_4_14_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3_4_14_17": { "name": "_r_1_2_3_4_14_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3_4_14_31": { "name": "_r_1_2_3_4_14_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3_5": { "name": "_r_1_2_3_5", "optional": true, "type": "OR", "note": "" }, "_r_1_2_3_5_23_24": { "name": "_r_1_2_3_5_23_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3_5_23_29": { "name": "_r_1_2_3_5_23_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3_5_23_30": { "name": "_r_1_2_3_5_23_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3_6": { "name": "_r_1_2_3_6", "optional": true, "type": "OR", "note": "" }, "_r_1_2_3_6_32_33": { "name": "_r_1_2_3_6_32_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3_6_32_34": { "name": "_r_1_2_3_6_32_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3_6_32_35": { "name": "_r_1_2_3_6_32_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36": { "name": "_r_1_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_37": { "name": "_r_1_36_37", "optional": false, "type": "OR", "note": "" }, "_r_1_36_37_41_42": { "name": "_r_1_36_37_41_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_37_41_43": { "name": "_r_1_36_37_41_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_37_41_44": { "name": "_r_1_36_37_41_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_37_41_45": { "name": "_r_1_36_37_41_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_37_41_46": { "name": "_r_1_36_37_41_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_38": { "name": "_r_1_36_38", "optional": false, "type": "OR", "note": "" }, "_r_1_36_38_53_54": { "name": "_r_1_36_38_53_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_38_53_55": { "name": "_r_1_36_38_53_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_39": { "name": "_r_1_36_39", "optional": false, "type": "OR", "note": "" }, "_r_1_36_39_47_48": { "name": "_r_1_36_39_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_39_47_49": { "name": "_r_1_36_39_47_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_39_47_50": { "name": "_r_1_36_39_47_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_39_47_51": { "name": "_r_1_36_39_47_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_39_47_52": { "name": "_r_1_36_39_47_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_40": { "name": "_r_1_36_40", "optional": true, "type": "OR", "note": "" }, "_r_1_36_40_56_57": { "name": "_r_1_36_40_56_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_36_40_56_58": { "name": "_r_1_36_40_56_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59": { "name": "_r_1_59", "optional": true, "type": "XOR", "note": "" }, "_r_1_59_60_61": { "name": "_r_1_59_60_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_61_63": { "name": "_r_1_59_60_61_63", "optional": false, "type": "XOR", "note": "" }, "_r_1_59_60_61_63_65_66": { "name": "_r_1_59_60_61_63_65_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_61_63_65_67": { "name": "_r_1_59_60_61_63_65_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_61_64": { "name": "_r_1_59_60_61_64", "optional": false, "type": "OR", "note": "" }, "_r_1_59_60_61_64_68_69": { "name": "_r_1_59_60_61_64_68_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_61_64_68_70": { "name": "_r_1_59_60_61_64_68_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_61_64_68_71": { "name": "_r_1_59_60_61_64_68_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_59_60_62": { "name": "_r_1_59_60_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7": { "name": "_r_1_7", "optional": true, "type": "OR", "note": "" }, "_r_1_7_8_10": { "name": "_r_1_7_8_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_8_11": { "name": "_r_1_7_8_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_8_12": { "name": "_r_1_7_8_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_8_13": { "name": "_r_1_7_8_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_8_9": { "name": "_r_1_7_8_9", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1_2", "children": [ { "id": "_r_1_2_3_4", "children": [ { "id": "_r_1_2_3_4_14_15" }, { "id": "_r_1_2_3_4_14_17" }, { "id": "_r_1_2_3_4_14_31" } ] }, { "id": "_r_1_2_3_5", "children": [ { "id": "_r_1_2_3_5_23_24" }, { "id": "_r_1_2_3_5_23_29" }, { "id": "_r_1_2_3_5_23_30" } ] }, { "id": "_r_1_2_3_6", "children": [ { "id": "_r_1_2_3_6_32_33" }, { "id": "_r_1_2_3_6_32_34" }, { "id": "_r_1_2_3_6_32_35" } ] } ] }, { "id": "_r_1_36", "children": [ { "id": "_r_1_36_37", "children": [ { "id": "_r_1_36_37_41_42" }, { "id": "_r_1_36_37_41_43" }, { "id": "_r_1_36_37_41_44" }, { "id": "_r_1_36_37_41_45" }, { "id": "_r_1_36_37_41_46" } ] }, { "id": "_r_1_36_38", "children": [ { "id": "_r_1_36_38_53_54" }, { "id": "_r_1_36_38_53_55" } ] }, { "id": "_r_1_36_39", "children": [ { "id": "_r_1_36_39_47_48" }, { "id": "_r_1_36_39_47_49" }, { "id": "_r_1_36_39_47_50" }, { "id": "_r_1_36_39_47_51" }, { "id": "_r_1_36_39_47_52" } ] }, { "id": "_r_1_36_40", "children": [ { "id": "_r_1_36_40_56_57" }, { "id": "_r_1_36_40_56_58" } ] } ] }, { "id": "_r_1_59", "children": [ { "id": "_r_1_59_60_61", "children": [ { "id": "_r_1_59_60_61_63", "children": [ { "id": "_r_1_59_60_61_63_65_66" }, { "id": "_r_1_59_60_61_63_65_67" } ] }, { "id": "_r_1_59_60_61_64", "children": [ { "id": "_r_1_59_60_61_64_68_69" }, { "id": "_r_1_59_60_61_64_68_70" }, { "id": "_r_1_59_60_61_64_68_71" } ] } ] }, { "id": "_r_1_59_60_62" } ] }, { "id": "_r_1_7", "children": [ { "id": "_r_1_7_8_10" }, { "id": "_r_1_7_8_11" }, { "id": "_r_1_7_8_12" }, { "id": "_r_1_7_8_13" }, { "id": "_r_1_7_8_9" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_36_39_47_50" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_36_37_41_44" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60_61_63" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_59_60_61_63_65_67" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_36_39_47_50" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_36_37_41_46" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_36_39_47_52" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_36_37_41_44" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_8_13" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_8_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_2_3_6_32_35" ] } ] } } }