{ "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_13": { "name": "_r_13", "optional": true, "type": "OR", "note": "" }, "_r_13_14_15": { "name": "_r_13_14_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_16": { "name": "_r_13_14_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_17": { "name": "_r_13_14_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_18": { "name": "_r_18", "optional": false, "type": "OR", "note": "" }, "_r_18_19_20": { "name": "_r_18_19_20", "optional": true, "type": "XOR", "note": "" }, "_r_18_19_20_24_25": { "name": "_r_18_19_20_24_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_20_24_26": { "name": "_r_18_19_20_24_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_20_24_27": { "name": "_r_18_19_20_24_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_20_24_28": { "name": "_r_18_19_20_24_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_21": { "name": "_r_18_19_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_22": { "name": "_r_18_19_22", "optional": true, "type": "XOR", "note": "" }, "_r_18_19_22_29_30": { "name": "_r_18_19_22_29_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_22_29_31": { "name": "_r_18_19_22_29_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_23": { "name": "_r_18_19_23", "optional": true, "type": "XOR", "note": "" }, "_r_18_19_23_32_33": { "name": "_r_18_19_23_32_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_23_32_34": { "name": "_r_18_19_23_32_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3": { "name": "_r_1_2_3", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_6": { "name": "_r_1_2_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7": { "name": "_r_1_2_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_27": { "name": "_r_27", "optional": false, "type": "OR", "note": "" }, "_r_27_28_29": { "name": "_r_27_28_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_28_30": { "name": "_r_27_28_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_28_31": { "name": "_r_27_28_31", "optional": true, "type": "XOR", "note": "" }, "_r_27_28_31_32_33": { "name": "_r_27_28_31_32_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_28_31_32_34": { "name": "_r_27_28_31_32_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_28_31_32_35": { "name": "_r_27_28_31_32_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_36": { "name": "_r_36", "optional": true, "type": "OR", "note": "" }, "_r_36_37_38": { "name": "_r_36_37_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_37_39": { "name": "_r_36_37_39", "optional": true, "type": "XOR", "note": "" }, "_r_36_37_39_42_43": { "name": "_r_36_37_39_42_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_37_39_42_44": { "name": "_r_36_37_39_42_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_37_39_42_45": { "name": "_r_36_37_39_42_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_37_40": { "name": "_r_36_37_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_37_41": { "name": "_r_36_37_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_8": { "name": "_r_8", "optional": false, "type": "OR", "note": "" }, "_r_8_9_10": { "name": "_r_8_9_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_11": { "name": "_r_8_9_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_12": { "name": "_r_8_9_12", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2_3" }, { "id": "_r_1_2_6" }, { "id": "_r_1_2_7" } ] }, { "id": "_r_13", "children": [ { "id": "_r_13_14_15" }, { "id": "_r_13_14_16" }, { "id": "_r_13_14_17" } ] }, { "id": "_r_18", "children": [ { "id": "_r_18_19_20", "children": [ { "id": "_r_18_19_20_24_25" }, { "id": "_r_18_19_20_24_26" }, { "id": "_r_18_19_20_24_27" }, { "id": "_r_18_19_20_24_28" } ] }, { "id": "_r_18_19_21" }, { "id": "_r_18_19_22", "children": [ { "id": "_r_18_19_22_29_30" }, { "id": "_r_18_19_22_29_31" } ] }, { "id": "_r_18_19_23", "children": [ { "id": "_r_18_19_23_32_33" }, { "id": "_r_18_19_23_32_34" } ] } ] }, { "id": "_r_27", "children": [ { "id": "_r_27_28_29" }, { "id": "_r_27_28_30" }, { "id": "_r_27_28_31", "children": [ { "id": "_r_27_28_31_32_33" }, { "id": "_r_27_28_31_32_34" }, { "id": "_r_27_28_31_32_35" } ] } ] }, { "id": "_r_36", "children": [ { "id": "_r_36_37_38" }, { "id": "_r_36_37_39", "children": [ { "id": "_r_36_37_39_42_43" }, { "id": "_r_36_37_39_42_44" }, { "id": "_r_36_37_39_42_45" } ] }, { "id": "_r_36_37_40" }, { "id": "_r_36_37_41" } ] }, { "id": "_r_8", "children": [ { "id": "_r_8_9_10" }, { "id": "_r_8_9_11" }, { "id": "_r_8_9_12" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_36_37_41" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_37_38" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_37_39" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_36_37_41" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_21" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_22_29_31" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_27_28_29" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_27_28_30" ] } ] } ] } } }