{ "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_15": { "name": "_r_1_15", "optional": false, "type": "XOR", "note": "" }, "_r_1_15_17_18": { "name": "_r_1_15_17_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_15_17_19": { "name": "_r_1_15_17_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_16": { "name": "_r_1_16", "optional": false, "type": "XOR", "note": "" }, "_r_1_16_20_21": { "name": "_r_1_16_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_16_20_22": { "name": "_r_1_16_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_23": { "name": "_r_1_23", "optional": false, "type": "XOR", "note": "" }, "_r_1_23_24_25": { "name": "_r_1_23_24_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_23_24_26": { "name": "_r_1_23_24_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_37": { "name": "_r_1_37", "optional": false, "type": "XOR", "note": "" }, "_r_1_37_40_41": { "name": "_r_1_37_40_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_37_40_42": { "name": "_r_1_37_40_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7": { "name": "_r_1_7", "optional": false, "type": "XOR", "note": "" }, "_r_1_7_8_10": { "name": "_r_1_7_8_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_8_11": { "name": "_r_1_7_8_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_8_12": { "name": "_r_1_7_8_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_8_12_43": { "name": "_r_1_7_8_12_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_8_12_44": { "name": "_r_1_7_8_12_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_8_13": { "name": "_r_1_7_8_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_8_9": { "name": "_r_1_7_8_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_27": { "name": "_r_2_27", "optional": false, "type": "XOR", "note": "" }, "_r_2_27_30_31": { "name": "_r_2_27_30_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27_30_32": { "name": "_r_2_27_30_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_27_30_33": { "name": "_r_2_27_30_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34": { "name": "_r_2_34", "optional": false, "type": "XOR", "note": "" }, "_r_2_34_35_36": { "name": "_r_2_34_35_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34_35_37": { "name": "_r_2_34_35_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34_35_38": { "name": "_r_2_34_35_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": true, "type": "FEATURE", "note": "" }, "_r_30": { "name": "_r_30", "optional": false, "type": "FEATURE", "note": "" }, "_r_30_33": { "name": "_r_30_33", "optional": false, "type": "XOR", "note": "" }, "_r_30_33_34_35": { "name": "_r_30_33_34_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_33_34_36": { "name": "_r_30_33_34_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_42": { "name": "_r_3_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_43": { "name": "_r_3_43", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_15", "children": [ { "id": "_r_1_15_17_18" }, { "id": "_r_1_15_17_19" } ] }, { "id": "_r_1_16", "children": [ { "id": "_r_1_16_20_21" }, { "id": "_r_1_16_20_22" } ] }, { "id": "_r_1_23", "children": [ { "id": "_r_1_23_24_25" }, { "id": "_r_1_23_24_26" } ] }, { "id": "_r_1_37", "children": [ { "id": "_r_1_37_40_41" }, { "id": "_r_1_37_40_42" } ] }, { "id": "_r_1_7", "children": [ { "id": "_r_1_7_8_10" }, { "id": "_r_1_7_8_11" }, { "id": "_r_1_7_8_12", "children": [ { "id": "_r_1_7_8_12_43" }, { "id": "_r_1_7_8_12_44" } ] }, { "id": "_r_1_7_8_13" }, { "id": "_r_1_7_8_9" } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_27", "children": [ { "id": "_r_2_27_30_31" }, { "id": "_r_2_27_30_32" }, { "id": "_r_2_27_30_33" } ] }, { "id": "_r_2_34", "children": [ { "id": "_r_2_34_35_36" }, { "id": "_r_2_34_35_37" }, { "id": "_r_2_34_35_38" } ] } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_42" }, { "id": "_r_3_43" } ] }, { "id": "_r_30", "children": [ { "id": "_r_30_33", "children": [ { "id": "_r_30_33_34_35" }, { "id": "_r_30_33_34_36" } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_8_9" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_37_40_41" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_33_34_35" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_7_8_12_44" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_33_34_35" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_7_8_12_43" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_8_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_30_33_34_35" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_8_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_30_33_34_36" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_8_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_30_33_34_36" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_8_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_34_35_38" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_8_9" ] }, { "type": "FeatureTerm", "operands": [ "_r_30_33_34_36" ] } ] } } }