{ "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_16": { "name": "_r_1_16", "optional": false, "type": "OR", "note": "" }, "_r_1_16_17_18": { "name": "_r_1_16_17_18", "optional": true, "type": "OR", "note": "" }, "_r_1_16_17_18_20_21": { "name": "_r_1_16_17_18_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_16_17_18_20_22": { "name": "_r_1_16_17_18_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_16_17_18_20_23": { "name": "_r_1_16_17_18_20_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_16_17_19": { "name": "_r_1_16_17_19", "optional": true, "type": "OR", "note": "" }, "_r_1_16_17_19_24_25": { "name": "_r_1_16_17_19_24_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_16_17_19_24_26": { "name": "_r_1_16_17_19_24_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_16_17_19_24_27": { "name": "_r_1_16_17_19_24_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "OR", "note": "" }, "_r_2_3_4": { "name": "_r_2_3_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_5": { "name": "_r_2_3_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_6": { "name": "_r_2_3_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_7": { "name": "_r_2_3_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_8": { "name": "_r_2_3_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_31": { "name": "_r_31", "optional": false, "type": "FEATURE", "note": "" }, "_r_31_32": { "name": "_r_31_32", "optional": false, "type": "OR", "note": "" }, "_r_31_32_36_37": { "name": "_r_31_32_36_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32_36_38": { "name": "_r_31_32_36_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32_36_39": { "name": "_r_31_32_36_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32_36_40": { "name": "_r_31_32_36_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32_36_41": { "name": "_r_31_32_36_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_33": { "name": "_r_31_33", "optional": false, "type": "OR", "note": "" }, "_r_31_33_42_43": { "name": "_r_31_33_42_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_33_42_44": { "name": "_r_31_33_42_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_33_42_45": { "name": "_r_31_33_42_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_33_42_46": { "name": "_r_31_33_42_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_33_42_47": { "name": "_r_31_33_42_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_34": { "name": "_r_31_34", "optional": false, "type": "OR", "note": "" }, "_r_31_34_48_49": { "name": "_r_31_34_48_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_34_48_50": { "name": "_r_31_34_48_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_35": { "name": "_r_31_35", "optional": true, "type": "OR", "note": "" }, "_r_31_35_51_52": { "name": "_r_31_35_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_35_51_53": { "name": "_r_31_35_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_54": { "name": "_r_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_56": { "name": "_r_54_56", "optional": false, "type": "XOR", "note": "" }, "_r_54_56_58_59": { "name": "_r_54_56_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_56_58_60": { "name": "_r_54_56_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_56_65": { "name": "_r_54_56_65", "optional": false, "type": "FEATURE", "note": "" }, "_r_54_57": { "name": "_r_54_57", "optional": false, "type": "OR", "note": "" }, "_r_54_57_61_62": { "name": "_r_54_57_61_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_57_61_63": { "name": "_r_54_57_61_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_57_61_64": { "name": "_r_54_57_61_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_55": { "name": "_r_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_9": { "name": "_r_9", "optional": false, "type": "OR", "note": "" }, "_r_9_10_11": { "name": "_r_9_10_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_10_12": { "name": "_r_9_10_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_10_13": { "name": "_r_9_10_13", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_16", "children": [ { "id": "_r_1_16_17_18", "children": [ { "id": "_r_1_16_17_18_20_21" }, { "id": "_r_1_16_17_18_20_22" }, { "id": "_r_1_16_17_18_20_23" } ] }, { "id": "_r_1_16_17_19", "children": [ { "id": "_r_1_16_17_19_24_25" }, { "id": "_r_1_16_17_19_24_26" }, { "id": "_r_1_16_17_19_24_27" } ] } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_3_4" }, { "id": "_r_2_3_5" }, { "id": "_r_2_3_6" }, { "id": "_r_2_3_7" }, { "id": "_r_2_3_8" } ] }, { "id": "_r_31", "children": [ { "id": "_r_31_32", "children": [ { "id": "_r_31_32_36_37" }, { "id": "_r_31_32_36_38" }, { "id": "_r_31_32_36_39" }, { "id": "_r_31_32_36_40" }, { "id": "_r_31_32_36_41" } ] }, { "id": "_r_31_33", "children": [ { "id": "_r_31_33_42_43" }, { "id": "_r_31_33_42_44" }, { "id": "_r_31_33_42_45" }, { "id": "_r_31_33_42_46" }, { "id": "_r_31_33_42_47" } ] }, { "id": "_r_31_34", "children": [ { "id": "_r_31_34_48_49" }, { "id": "_r_31_34_48_50" } ] }, { "id": "_r_31_35", "children": [ { "id": "_r_31_35_51_52" }, { "id": "_r_31_35_51_53" } ] } ] }, { "id": "_r_54", "children": [ { "id": "_r_54_56", "children": [ { "id": "_r_54_56_58_59" }, { "id": "_r_54_56_58_60" }, { "id": "_r_54_56_65" } ] }, { "id": "_r_54_57", "children": [ { "id": "_r_54_57_61_62" }, { "id": "_r_54_57_61_63" }, { "id": "_r_54_57_61_64" } ] } ] }, { "id": "_r_55" }, { "id": "_r_9", "children": [ { "id": "_r_9_10_11" }, { "id": "_r_9_10_12" }, { "id": "_r_9_10_13" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_10_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_33_42_45" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_10_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_33_42_47" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_10_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_33_42_47" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_10_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_32_36_41" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_10_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_32_36_41" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_10_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_54_56_58_60" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_10_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_16_17_18" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_10_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_16_17_18" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_8" ] }, { "type": "FeatureTerm", "operands": [ "_r_9_10_12" ] } ] } } }