{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "XOR", "note": "" }, "_r_14": { "name": "_r_14", "optional": false, "type": "XOR", "note": "" }, "_r_14_15_16": { "name": "_r_14_15_16", "optional": true, "type": "XOR", "note": "" }, "_r_14_15_16_22_23": { "name": "_r_14_15_16_22_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_16_22_24": { "name": "_r_14_15_16_22_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_16_22_25": { "name": "_r_14_15_16_22_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_17": { "name": "_r_14_15_17", "optional": true, "type": "XOR", "note": "" }, "_r_14_15_17_26_27": { "name": "_r_14_15_17_26_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_17_26_28": { "name": "_r_14_15_17_26_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_17_26_29": { "name": "_r_14_15_17_26_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_18": { "name": "_r_1_2_18", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_18_19_20": { "name": "_r_1_2_18_19_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_18_19_21": { "name": "_r_1_2_18_19_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_5": { "name": "_r_1_2_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_30": { "name": "_r_30", "optional": false, "type": "FEATURE", "note": "" }, "_r_30_31": { "name": "_r_30_31", "optional": false, "type": "XOR", "note": "" }, "_r_30_31_36_37": { "name": "_r_30_31_36_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_31_36_38": { "name": "_r_30_31_36_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_31_36_39": { "name": "_r_30_31_36_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_31_36_40": { "name": "_r_30_31_36_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_31_36_41": { "name": "_r_30_31_36_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_32": { "name": "_r_30_32", "optional": false, "type": "XOR", "note": "" }, "_r_30_32_48_49": { "name": "_r_30_32_48_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_32_48_50": { "name": "_r_30_32_48_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_33": { "name": "_r_30_33", "optional": false, "type": "XOR", "note": "" }, "_r_30_33_42_43": { "name": "_r_30_33_42_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_33_42_44": { "name": "_r_30_33_42_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_33_42_45": { "name": "_r_30_33_42_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_33_42_46": { "name": "_r_30_33_42_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_33_42_47": { "name": "_r_30_33_42_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_35": { "name": "_r_30_35", "optional": true, "type": "XOR", "note": "" }, "_r_30_35_51_52": { "name": "_r_30_35_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_35_51_53": { "name": "_r_30_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": true, "type": "OR", "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_57": { "name": "_r_54_57", "optional": false, "type": "XOR", "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_6": { "name": "_r_6", "optional": false, "type": "XOR", "note": "" }, "_r_6_7_10": { "name": "_r_6_7_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7_11": { "name": "_r_6_7_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7_12": { "name": "_r_6_7_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7_13": { "name": "_r_6_7_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7_8": { "name": "_r_6_7_8", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2_18", "children": [ { "id": "_r_1_2_18_19_20" }, { "id": "_r_1_2_18_19_21" } ] }, { "id": "_r_1_2_5" } ] }, { "id": "_r_14", "children": [ { "id": "_r_14_15_16", "children": [ { "id": "_r_14_15_16_22_23" }, { "id": "_r_14_15_16_22_24" }, { "id": "_r_14_15_16_22_25" } ] }, { "id": "_r_14_15_17", "children": [ { "id": "_r_14_15_17_26_27" }, { "id": "_r_14_15_17_26_28" }, { "id": "_r_14_15_17_26_29" } ] } ] }, { "id": "_r_30", "children": [ { "id": "_r_30_31", "children": [ { "id": "_r_30_31_36_37" }, { "id": "_r_30_31_36_38" }, { "id": "_r_30_31_36_39" }, { "id": "_r_30_31_36_40" }, { "id": "_r_30_31_36_41" } ] }, { "id": "_r_30_32", "children": [ { "id": "_r_30_32_48_49" }, { "id": "_r_30_32_48_50" } ] }, { "id": "_r_30_33", "children": [ { "id": "_r_30_33_42_43" }, { "id": "_r_30_33_42_44" }, { "id": "_r_30_33_42_45" }, { "id": "_r_30_33_42_46" }, { "id": "_r_30_33_42_47" } ] }, { "id": "_r_30_35", "children": [ { "id": "_r_30_35_51_52" }, { "id": "_r_30_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_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_6", "children": [ { "id": "_r_6_7_10" }, { "id": "_r_6_7_11" }, { "id": "_r_6_7_12" }, { "id": "_r_6_7_13" }, { "id": "_r_6_7_8" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_7_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_15_17_26_29" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_36_39" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_36_38" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_36_37" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_15_17" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_33_42_45" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_33_42_44" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_33_42_43" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_18" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_18_19_20" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_54_56_58_60" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_18_19_20" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_54_56_58_59" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_18_19_20" ] }, { "type": "FeatureTerm", "operands": [ "_r_54" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_18" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_36_40" ] } ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_18" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_36_41" ] } ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_18" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_33_42_46" ] } ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_7_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_18_19_20" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_18" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_33_42_47" ] } ] } ] } } }