{ "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_10": { "name": "_r_10", "optional": false, "type": "XOR", "note": "" }, "_r_10_11_12": { "name": "_r_10_11_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_11_13": { "name": "_r_10_11_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_11_14": { "name": "_r_10_11_14", "optional": true, "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_5": { "name": "_r_5", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_15": { "name": "_r_5_15", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_15_17": { "name": "_r_5_15_17", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_15_18": { "name": "_r_5_15_18", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_15_19": { "name": "_r_5_15_19", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_16": { "name": "_r_5_16", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_16_20": { "name": "_r_5_16_20", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_16_20_23": { "name": "_r_5_16_20_23", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_16_20_23_24": { "name": "_r_5_16_20_23_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_16_20_23_25": { "name": "_r_5_16_20_23_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_16_20_26": { "name": "_r_5_16_20_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_16_20_27": { "name": "_r_5_16_20_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_16_21": { "name": "_r_5_16_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_16_22": { "name": "_r_5_16_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": false, "type": "FEATURE", "note": "" }, "_r_6_28": { "name": "_r_6_28", "optional": false, "type": "XOR", "note": "" }, "_r_6_28_30_31": { "name": "_r_6_28_30_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_28_30_33": { "name": "_r_6_28_30_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_28_30_34": { "name": "_r_6_28_30_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_29": { "name": "_r_6_29", "optional": false, "type": "FEATURE", "note": "" }, "_r_6_29_35": { "name": "_r_6_29_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_29_36": { "name": "_r_6_29_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_29_37": { "name": "_r_6_29_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_7": { "name": "_r_7", "optional": false, "type": "XOR", "note": "" }, "_r_7_38_39": { "name": "_r_7_38_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_38_40": { "name": "_r_7_38_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_38_41": { "name": "_r_7_38_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_8": { "name": "_r_8", "optional": false, "type": "XOR", "note": "" }, "_r_8_42_43": { "name": "_r_8_42_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_42_44": { "name": "_r_8_42_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_42_45": { "name": "_r_8_42_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_9": { "name": "_r_9", "optional": false, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2_3" }, { "id": "_r_1_2_4" } ] }, { "id": "_r_10", "children": [ { "id": "_r_10_11_12" }, { "id": "_r_10_11_13" }, { "id": "_r_10_11_14" } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_15", "children": [ { "id": "_r_5_15_17" }, { "id": "_r_5_15_18" }, { "id": "_r_5_15_19" } ] }, { "id": "_r_5_16", "children": [ { "id": "_r_5_16_20", "children": [ { "id": "_r_5_16_20_23", "children": [ { "id": "_r_5_16_20_23_24" }, { "id": "_r_5_16_20_23_25" } ] }, { "id": "_r_5_16_20_26" }, { "id": "_r_5_16_20_27" } ] }, { "id": "_r_5_16_21" }, { "id": "_r_5_16_22" } ] } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_28", "children": [ { "id": "_r_6_28_30_31" }, { "id": "_r_6_28_30_33" }, { "id": "_r_6_28_30_34" } ] }, { "id": "_r_6_29", "children": [ { "id": "_r_6_29_35" }, { "id": "_r_6_29_36" }, { "id": "_r_6_29_37" } ] } ] }, { "id": "_r_7", "children": [ { "id": "_r_7_38_39" }, { "id": "_r_7_38_40" }, { "id": "_r_7_38_41" } ] }, { "id": "_r_8", "children": [ { "id": "_r_8_42_43" }, { "id": "_r_8_42_44" }, { "id": "_r_8_42_45" } ] }, { "id": "_r_9" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_38_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_10_11_12" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_42_45" ] }, { "type": "FeatureTerm", "operands": [ "_r_10_11_12" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_29_35" ] }, { "type": "FeatureTerm", "operands": [ "_r_10_11_14" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_42_44" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_10_11_13" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_38_40" ] }, { "type": "FeatureTerm", "operands": [ "_r_10_11_14" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_16_20_27" ] }, { "type": "FeatureTerm", "operands": [ "_r_10_11_12" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_16_20_26" ] }, { "type": "FeatureTerm", "operands": [ "_r_10_11_12" ] } ] } } }