{ "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_1_17_18": { "name": "_r_1_17_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_17_19": { "name": "_r_1_17_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_17_20": { "name": "_r_1_17_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_12": { "name": "_r_2_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_13": { "name": "_r_2_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_14": { "name": "_r_3_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_15": { "name": "_r_3_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_16": { "name": "_r_3_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_25": { "name": "_r_4_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_26": { "name": "_r_4_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_26_29": { "name": "_r_4_26_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_30": { "name": "_r_5_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_31": { "name": "_r_5_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_32": { "name": "_r_5_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_32_33": { "name": "_r_5_32_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_32_34": { "name": "_r_5_32_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_43": { "name": "_r_6_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_44": { "name": "_r_6_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_45": { "name": "_r_6_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_45_46": { "name": "_r_6_45_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_45_47": { "name": "_r_6_45_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_45_48": { "name": "_r_6_45_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_7": { "name": "_r_7", "optional": true, "type": "OR", "note": "" }, "_r_7_21_22": { "name": "_r_7_21_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_21_23": { "name": "_r_7_21_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_21_24": { "name": "_r_7_21_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_8": { "name": "_r_8", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_35": { "name": "_r_8_35", "optional": false, "type": "XOR", "note": "" }, "_r_8_35_37_38": { "name": "_r_8_35_37_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_35_37_39": { "name": "_r_8_35_37_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_35_37_40": { "name": "_r_8_35_37_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_36": { "name": "_r_8_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_36_41": { "name": "_r_8_36_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_36_42": { "name": "_r_8_36_42", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_17_18" }, { "id": "_r_1_17_19" }, { "id": "_r_1_17_20" } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_12" }, { "id": "_r_2_13" } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_14" }, { "id": "_r_3_15" }, { "id": "_r_3_16" } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_25" }, { "id": "_r_4_26", "children": [ { "id": "_r_4_26_29" } ] } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_30" }, { "id": "_r_5_31" }, { "id": "_r_5_32", "children": [ { "id": "_r_5_32_33" }, { "id": "_r_5_32_34" } ] } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_43" }, { "id": "_r_6_44" }, { "id": "_r_6_45", "children": [ { "id": "_r_6_45_46" }, { "id": "_r_6_45_47" }, { "id": "_r_6_45_48" } ] } ] }, { "id": "_r_7", "children": [ { "id": "_r_7_21_22" }, { "id": "_r_7_21_23" }, { "id": "_r_7_21_24" } ] }, { "id": "_r_8", "children": [ { "id": "_r_8_35", "children": [ { "id": "_r_8_35_37_38" }, { "id": "_r_8_35_37_39" }, { "id": "_r_8_35_37_40" } ] }, { "id": "_r_8_36", "children": [ { "id": "_r_8_36_41" }, { "id": "_r_8_36_42" } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3" ] }, { "type": "FeatureTerm", "operands": [ "_r_8_36" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_31" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_44" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_14" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_26" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_31" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_43" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_31" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_45" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_26" ] } ] } } }