{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "XOR", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "XOR", "note": "" }, "_r_12": { "name": "_r_12", "optional": false, "type": "XOR", "note": "" }, "_r_12_13_14": { "name": "_r_12_13_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_13_15": { "name": "_r_12_13_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_13_16": { "name": "_r_12_13_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_13_17": { "name": "_r_12_13_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_13_18": { "name": "_r_12_13_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_19": { "name": "_r_19", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_3": { "name": "_r_1_2_3", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_4": { "name": "_r_1_2_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_5": { "name": "_r_1_2_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21": { "name": "_r_20_21", "optional": true, "type": "XOR", "note": "" }, "_r_20_21_23_24": { "name": "_r_20_21_23_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_23_25": { "name": "_r_20_21_23_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_23_26": { "name": "_r_20_21_23_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_22": { "name": "_r_20_22", "optional": true, "type": "XOR", "note": "" }, "_r_20_22_27_28": { "name": "_r_20_22_27_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_22_27_29": { "name": "_r_20_22_27_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_22_27_30": { "name": "_r_20_22_27_30", "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": "XOR", "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": "XOR", "note": "" }, "_r_31_33_49_50": { "name": "_r_31_33_49_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_33_49_51": { "name": "_r_31_33_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_35": { "name": "_r_31_35", "optional": true, "type": "XOR", "note": "" }, "_r_31_35_52_53": { "name": "_r_31_35_52_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_35_52_54": { "name": "_r_31_35_52_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_42": { "name": "_r_31_42", "optional": false, "type": "XOR", "note": "" }, "_r_31_42_43_44": { "name": "_r_31_42_43_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_42_43_45": { "name": "_r_31_42_43_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_42_43_46": { "name": "_r_31_42_43_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_42_43_47": { "name": "_r_31_42_43_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_42_43_48": { "name": "_r_31_42_43_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_55": { "name": "_r_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_55_57": { "name": "_r_55_57", "optional": true, "type": "OR", "note": "" }, "_r_55_57_58_59": { "name": "_r_55_57_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_55_57_58_60": { "name": "_r_55_57_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_55_61": { "name": "_r_55_61", "optional": false, "type": "XOR", "note": "" }, "_r_55_61_62_63": { "name": "_r_55_61_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_55_61_62_64": { "name": "_r_55_61_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_55_61_62_65": { "name": "_r_55_61_62_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_56": { "name": "_r_56", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2_3" }, { "id": "_r_1_2_4" }, { "id": "_r_1_2_5" } ] }, { "id": "_r_12", "children": [ { "id": "_r_12_13_14" }, { "id": "_r_12_13_15" }, { "id": "_r_12_13_16" }, { "id": "_r_12_13_17" }, { "id": "_r_12_13_18" } ] }, { "id": "_r_19" }, { "id": "_r_20_21", "children": [ { "id": "_r_20_21_23_24" }, { "id": "_r_20_21_23_25" }, { "id": "_r_20_21_23_26" } ] }, { "id": "_r_20_22", "children": [ { "id": "_r_20_22_27_28" }, { "id": "_r_20_22_27_29" }, { "id": "_r_20_22_27_30" } ] }, { "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_49_50" }, { "id": "_r_31_33_49_51" } ] }, { "id": "_r_31_35", "children": [ { "id": "_r_31_35_52_53" }, { "id": "_r_31_35_52_54" } ] }, { "id": "_r_31_42", "children": [ { "id": "_r_31_42_43_44" }, { "id": "_r_31_42_43_45" }, { "id": "_r_31_42_43_46" }, { "id": "_r_31_42_43_47" }, { "id": "_r_31_42_43_48" } ] } ] }, { "id": "_r_55", "children": [ { "id": "_r_55_57", "children": [ { "id": "_r_55_57_58_59" }, { "id": "_r_55_57_58_60" } ] }, { "id": "_r_55_61", "children": [ { "id": "_r_55_61_62_63" }, { "id": "_r_55_61_62_64" }, { "id": "_r_55_61_62_65" } ] } ] }, { "id": "_r_56" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_42_43_48" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_32_36_40" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_42_43_45" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_32_36_41" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_42_43_46" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_32_36_37" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_23_26" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_22_27_30" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "FeatureTerm", "operands": [ "_r_31_32_36_40" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_18" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_32_36_41" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_21" ] } ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_55" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_55_57" ] } ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_42_43_44" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_42_43_47" ] } ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_32_36_38" ] } ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_42_43_48" ] } ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_32_36_39" ] } ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_42_43_47" ] } ] } ] } } }