{ "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_12": { "name": "_r_12", "optional": false, "type": "FEATURE", "note": "" }, "_r_12_13": { "name": "_r_12_13", "optional": false, "type": "XOR", "note": "" }, "_r_12_13_16_17": { "name": "_r_12_13_16_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_13_16_18": { "name": "_r_12_13_16_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_13_16_19": { "name": "_r_12_13_16_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_14": { "name": "_r_12_14", "optional": false, "type": "XOR", "note": "" }, "_r_12_14_20_21": { "name": "_r_12_14_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_14_20_22": { "name": "_r_12_14_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_14_20_23": { "name": "_r_12_14_20_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2": { "name": "_r_1_2", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3": { "name": "_r_1_3", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4": { "name": "_r_1_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_24": { "name": "_r_24", "optional": false, "type": "FEATURE", "note": "" }, "_r_24_25": { "name": "_r_24_25", "optional": false, "type": "FEATURE", "note": "" }, "_r_24_25_28": { "name": "_r_24_25_28", "optional": false, "type": "XOR", "note": "" }, "_r_24_25_28_29_30": { "name": "_r_24_25_28_29_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_28_29_31": { "name": "_r_24_25_28_29_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_28_29_32": { "name": "_r_24_25_28_29_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_28_29_33": { "name": "_r_24_25_28_29_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_28_29_34": { "name": "_r_24_25_28_29_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_35": { "name": "_r_24_25_35", "optional": false, "type": "XOR", "note": "" }, "_r_24_25_35_36_37": { "name": "_r_24_25_35_36_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_35_36_38": { "name": "_r_24_25_35_36_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_39": { "name": "_r_24_25_39", "optional": false, "type": "XOR", "note": "" }, "_r_24_25_39_40_41": { "name": "_r_24_25_39_40_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_39_40_42": { "name": "_r_24_25_39_40_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_39_40_43": { "name": "_r_24_25_39_40_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_39_40_44": { "name": "_r_24_25_39_40_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_39_40_45": { "name": "_r_24_25_39_40_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_46": { "name": "_r_24_25_46", "optional": true, "type": "XOR", "note": "" }, "_r_24_25_46_47_50": { "name": "_r_24_25_46_47_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_46_47_51": { "name": "_r_24_25_46_47_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_26": { "name": "_r_24_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_26_56": { "name": "_r_24_26_56", "optional": false, "type": "OR", "note": "" }, "_r_24_26_56_58_59": { "name": "_r_24_26_56_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_26_56_58_60": { "name": "_r_24_26_56_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_26_57": { "name": "_r_24_26_57", "optional": false, "type": "XOR", "note": "" }, "_r_24_26_57_61_62": { "name": "_r_24_26_57_61_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_26_57_61_63": { "name": "_r_24_26_57_61_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_26_57_61_64": { "name": "_r_24_26_57_61_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_27": { "name": "_r_24_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_10": { "name": "_r_5_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_6": { "name": "_r_5_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_7": { "name": "_r_5_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_8": { "name": "_r_5_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_9": { "name": "_r_5_9", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2" }, { "id": "_r_1_3" }, { "id": "_r_1_4" } ] }, { "id": "_r_12", "children": [ { "id": "_r_12_13", "children": [ { "id": "_r_12_13_16_17" }, { "id": "_r_12_13_16_18" }, { "id": "_r_12_13_16_19" } ] }, { "id": "_r_12_14", "children": [ { "id": "_r_12_14_20_21" }, { "id": "_r_12_14_20_22" }, { "id": "_r_12_14_20_23" } ] } ] }, { "id": "_r_24", "children": [ { "id": "_r_24_25", "children": [ { "id": "_r_24_25_28", "children": [ { "id": "_r_24_25_28_29_30" }, { "id": "_r_24_25_28_29_31" }, { "id": "_r_24_25_28_29_32" }, { "id": "_r_24_25_28_29_33" }, { "id": "_r_24_25_28_29_34" } ] }, { "id": "_r_24_25_35", "children": [ { "id": "_r_24_25_35_36_37" }, { "id": "_r_24_25_35_36_38" } ] }, { "id": "_r_24_25_39", "children": [ { "id": "_r_24_25_39_40_41" }, { "id": "_r_24_25_39_40_42" }, { "id": "_r_24_25_39_40_43" }, { "id": "_r_24_25_39_40_44" }, { "id": "_r_24_25_39_40_45" } ] }, { "id": "_r_24_25_46", "children": [ { "id": "_r_24_25_46_47_50" }, { "id": "_r_24_25_46_47_51" } ] } ] }, { "id": "_r_24_26", "children": [ { "id": "_r_24_26_56", "children": [ { "id": "_r_24_26_56_58_59" }, { "id": "_r_24_26_56_58_60" } ] }, { "id": "_r_24_26_57", "children": [ { "id": "_r_24_26_57_61_62" }, { "id": "_r_24_26_57_61_63" }, { "id": "_r_24_26_57_61_64" } ] } ] }, { "id": "_r_24_27" } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_10" }, { "id": "_r_5_6" }, { "id": "_r_5_7" }, { "id": "_r_5_8" }, { "id": "_r_5_9" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_12_13" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_28_29_34" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3" ] }, { "type": "FeatureTerm", "operands": [ "_r_12_14" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_26_56_58_60" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_24_25_39_40_45" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3" ] }, { "type": "FeatureTerm", "operands": [ "_r_5_10" ] } ] } } }