{ "id": "FM__r", "name": "FM__r", "features": { "___r_2_47_48": { "name": "___r_2_47_48", "optional": false, "type": "OR", "note": "" }, "___r_2_47_48_49_50": { "name": "___r_2_47_48_49_50", "optional": true, "type": "FEATURE", "note": "" }, "___r_2_47_48_49_51": { "name": "___r_2_47_48_49_51", "optional": true, "type": "FEATURE", "note": "" }, "__r_2_47": { "name": "__r_2_47", "optional": true, "type": "FEATURE", "note": "" }, "_r": { "name": "_r", "optional": true, "type": "OR", "note": "" }, "_r_2_20": { "name": "_r_2_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20_21": { "name": "_r_2_20_21", "optional": false, "type": "OR", "note": "" }, "_r_2_20_21_22_23": { "name": "_r_2_20_21_22_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20_21_22_24": { "name": "_r_2_20_21_22_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20_21_22_25": { "name": "_r_2_20_21_22_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20_39": { "name": "_r_2_20_39", "optional": false, "type": "OR", "note": "" }, "_r_2_20_39_40_41": { "name": "_r_2_20_39_40_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20_39_40_42": { "name": "_r_2_20_39_40_42", "optional": true, "type": "OR", "note": "" }, "_r_2_20_39_40_42_43_44": { "name": "_r_2_20_39_40_42_43_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20_39_40_42_43_45": { "name": "_r_2_20_39_40_42_43_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20_39_40_42_43_46": { "name": "_r_2_20_39_40_42_43_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3": { "name": "_r_2_3", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31": { "name": "_r_2_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_32": { "name": "_r_2_31_32", "optional": false, "type": "OR", "note": "" }, "_r_2_31_32_33_34": { "name": "_r_2_31_32_33_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_32_33_36": { "name": "_r_2_31_32_33_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_32_33_36_42": { "name": "_r_2_31_32_33_36_42", "optional": false, "type": "OR", "note": "" }, "_r_2_31_32_33_36_42_43_44": { "name": "_r_2_31_32_33_36_42_43_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_32_33_36_42_43_45": { "name": "_r_2_31_32_33_36_42_43_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_32_33_36_42_43_46": { "name": "_r_2_31_32_33_36_42_43_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_53": { "name": "_r_2_31_53", "optional": false, "type": "OR", "note": "" }, "_r_2_31_53_54_55": { "name": "_r_2_31_53_54_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_53_54_56": { "name": "_r_2_31_53_54_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_53_54_57": { "name": "_r_2_31_53_54_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_54": { "name": "_r_2_31_54", "optional": true, "type": "OR", "note": "" }, "_r_2_31_54_55_56": { "name": "_r_2_31_54_55_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_54_55_57": { "name": "_r_2_31_54_55_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_54_55_58": { "name": "_r_2_31_54_55_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_31_54_55_59": { "name": "_r_2_31_54_55_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_16": { "name": "_r_2_3_16", "optional": false, "type": "OR", "note": "" }, "_r_2_3_16_17_19": { "name": "_r_2_3_16_17_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_16_17_58": { "name": "_r_2_3_16_17_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_5": { "name": "_r_2_3_5", "optional": false, "type": "OR", "note": "" }, "_r_2_3_5_6_7": { "name": "_r_2_3_5_6_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_5_6_8": { "name": "_r_2_3_5_6_8", "optional": true, "type": "OR", "note": "" }, "_r_2_3_5_6_8_11": { "name": "_r_2_3_5_6_8_11", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_3_5_6_8_12_13": { "name": "_r_2_3_5_6_8_12_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_5_6_8_12_14": { "name": "_r_2_3_5_6_8_12_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_5_6_8_12_15": { "name": "_r_2_3_5_6_8_12_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_47": { "name": "_r_2_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_47_48": { "name": "_r_2_47_48", "optional": true, "type": "XOR", "note": "" }, "_r_2_47_48_49_50": { "name": "_r_2_47_48_49_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_47_48_49_51": { "name": "_r_2_47_48_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_47_48_49_52": { "name": "_r_2_47_48_49_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_60": { "name": "_r_2_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_60_61": { "name": "_r_2_60_61", "optional": false, "type": "OR", "note": "" }, "_r_2_60_61_62_63": { "name": "_r_2_60_61_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_60_61_62_64": { "name": "_r_2_60_61_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_60_61_62_65": { "name": "_r_2_60_61_62_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_60_61_62_66": { "name": "_r_2_60_61_62_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_67": { "name": "_r_2_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_67_68": { "name": "_r_2_67_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_67_68_69_70": { "name": "_r_2_67_68_69_70", "optional": false, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "__r_2_47", "children": [ { "id": "___r_2_47_48", "children": [ { "id": "___r_2_47_48_49_50" }, { "id": "___r_2_47_48_49_51" } ] } ] }, { "id": "_r_2_20", "children": [ { "id": "_r_2_20_21", "children": [ { "id": "_r_2_20_21_22_23" }, { "id": "_r_2_20_21_22_24" }, { "id": "_r_2_20_21_22_25" } ] }, { "id": "_r_2_20_39", "children": [ { "id": "_r_2_20_39_40_41" }, { "id": "_r_2_20_39_40_42", "children": [ { "id": "_r_2_20_39_40_42_43_44" }, { "id": "_r_2_20_39_40_42_43_45" }, { "id": "_r_2_20_39_40_42_43_46" } ] } ] } ] }, { "id": "_r_2_3", "children": [ { "id": "_r_2_3_16", "children": [ { "id": "_r_2_3_16_17_19" }, { "id": "_r_2_3_16_17_58" } ] }, { "id": "_r_2_3_5", "children": [ { "id": "_r_2_3_5_6_7" }, { "id": "_r_2_3_5_6_8", "children": [ { "id": "_r_2_3_5_6_8_11" }, { "id": "_r_2_3_5_6_8_12_13" }, { "id": "_r_2_3_5_6_8_12_14" }, { "id": "_r_2_3_5_6_8_12_15" } ] } ] } ] }, { "id": "_r_2_31", "children": [ { "id": "_r_2_31_32", "children": [ { "id": "_r_2_31_32_33_34" }, { "id": "_r_2_31_32_33_36", "children": [ { "id": "_r_2_31_32_33_36_42", "children": [ { "id": "_r_2_31_32_33_36_42_43_44" }, { "id": "_r_2_31_32_33_36_42_43_45" }, { "id": "_r_2_31_32_33_36_42_43_46" } ] } ] } ] }, { "id": "_r_2_31_53", "children": [ { "id": "_r_2_31_53_54_55" }, { "id": "_r_2_31_53_54_56" }, { "id": "_r_2_31_53_54_57" } ] }, { "id": "_r_2_31_54", "children": [ { "id": "_r_2_31_54_55_56" }, { "id": "_r_2_31_54_55_57" }, { "id": "_r_2_31_54_55_58" }, { "id": "_r_2_31_54_55_59" } ] } ] }, { "id": "_r_2_47", "children": [ { "id": "_r_2_47_48", "children": [ { "id": "_r_2_47_48_49_50" }, { "id": "_r_2_47_48_49_51" }, { "id": "_r_2_47_48_49_52" } ] } ] }, { "id": "_r_2_60", "children": [ { "id": "_r_2_60_61", "children": [ { "id": "_r_2_60_61_62_63" }, { "id": "_r_2_60_61_62_64" }, { "id": "_r_2_60_61_62_65" }, { "id": "_r_2_60_61_62_66" } ] } ] }, { "id": "_r_2_67", "children": [ { "id": "_r_2_67_68", "children": [ { "id": "_r_2_67_68_69_70" } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_20_21_22_23" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_31_54" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_20_21_22_24" ] }, { "type": "FeatureTerm", "operands": [ "___r_2_47_48" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_20_21_22_25" ] }, { "type": "FeatureTerm", "operands": [ "___r_2_47_48" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_20_21_22_23" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_31_54_55_59" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_20_21_22_23" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_31_32_33_36" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_20_21_22_23" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_31_54_55_58" ] } ] } ] } } }