{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "XOR", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "XOR", "note": "" }, "_r_1_2_3": { "name": "_r_1_2_3", "optional": true, "type": "XOR", "note": "" }, "_r_1_2_3_5_6": { "name": "_r_1_2_3_5_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3_5_7": { "name": "_r_1_2_3_5_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_4": { "name": "_r_1_2_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_21": { "name": "_r_21", "optional": false, "type": "OR", "note": "" }, "_r_21_22_23": { "name": "_r_21_22_23", "optional": true, "type": "XOR", "note": "" }, "_r_21_22_23_24_25": { "name": "_r_21_22_23_24_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_23_24_26": { "name": "_r_21_22_23_24_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29": { "name": "_r_21_22_29", "optional": true, "type": "XOR", "note": "" }, "_r_21_22_29_30_31": { "name": "_r_21_22_29_30_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_31_35": { "name": "_r_21_22_29_30_31_35", "optional": false, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_31_36": { "name": "_r_21_22_29_30_31_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_31_38": { "name": "_r_21_22_29_30_31_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_31_39": { "name": "_r_21_22_29_30_31_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_32": { "name": "_r_21_22_29_30_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_32_40": { "name": "_r_21_22_29_30_32_40", "optional": false, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_32_42": { "name": "_r_21_22_29_30_32_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_32_43": { "name": "_r_21_22_29_30_32_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_32_44": { "name": "_r_21_22_29_30_32_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_33": { "name": "_r_21_22_29_30_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_33_45": { "name": "_r_21_22_29_30_33_45", "optional": false, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_33_47": { "name": "_r_21_22_29_30_33_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_33_48": { "name": "_r_21_22_29_30_33_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_33_49": { "name": "_r_21_22_29_30_33_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_34": { "name": "_r_21_22_29_30_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_34_50": { "name": "_r_21_22_29_30_34_50", "optional": false, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_34_51": { "name": "_r_21_22_29_30_34_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_29_30_34_53": { "name": "_r_21_22_29_30_34_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_54": { "name": "_r_21_22_54", "optional": true, "type": "XOR", "note": "" }, "_r_21_22_54_56_57": { "name": "_r_21_22_54_56_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_54_56_58": { "name": "_r_21_22_54_56_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_54_56_59": { "name": "_r_21_22_54_56_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_55": { "name": "_r_21_22_55", "optional": true, "type": "XOR", "note": "" }, "_r_21_22_55_60_61": { "name": "_r_21_22_55_60_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_21_22_55_60_62": { "name": "_r_21_22_55_60_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_12": { "name": "_r_8_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_12_17": { "name": "_r_8_12_17", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_12_18": { "name": "_r_8_12_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_12_19": { "name": "_r_8_12_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_12_20": { "name": "_r_8_12_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9": { "name": "_r_8_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_13": { "name": "_r_8_9_13", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_14": { "name": "_r_8_9_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_15": { "name": "_r_8_9_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_16": { "name": "_r_8_9_16", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2_3", "children": [ { "id": "_r_1_2_3_5_6" }, { "id": "_r_1_2_3_5_7" } ] }, { "id": "_r_1_2_4" } ] }, { "id": "_r_21", "children": [ { "id": "_r_21_22_23", "children": [ { "id": "_r_21_22_23_24_25" }, { "id": "_r_21_22_23_24_26" } ] }, { "id": "_r_21_22_29", "children": [ { "id": "_r_21_22_29_30_31", "children": [ { "id": "_r_21_22_29_30_31_35" }, { "id": "_r_21_22_29_30_31_36" }, { "id": "_r_21_22_29_30_31_38" }, { "id": "_r_21_22_29_30_31_39" } ] }, { "id": "_r_21_22_29_30_32", "children": [ { "id": "_r_21_22_29_30_32_40" }, { "id": "_r_21_22_29_30_32_42" }, { "id": "_r_21_22_29_30_32_43" }, { "id": "_r_21_22_29_30_32_44" } ] }, { "id": "_r_21_22_29_30_33", "children": [ { "id": "_r_21_22_29_30_33_45" }, { "id": "_r_21_22_29_30_33_47" }, { "id": "_r_21_22_29_30_33_48" }, { "id": "_r_21_22_29_30_33_49" } ] }, { "id": "_r_21_22_29_30_34", "children": [ { "id": "_r_21_22_29_30_34_50" }, { "id": "_r_21_22_29_30_34_51" }, { "id": "_r_21_22_29_30_34_53" } ] } ] }, { "id": "_r_21_22_54", "children": [ { "id": "_r_21_22_54_56_57" }, { "id": "_r_21_22_54_56_58" }, { "id": "_r_21_22_54_56_59" } ] }, { "id": "_r_21_22_55", "children": [ { "id": "_r_21_22_55_60_61" }, { "id": "_r_21_22_55_60_62" } ] } ] }, { "id": "_r_8_12", "children": [ { "id": "_r_8_12_17" }, { "id": "_r_8_12_18" }, { "id": "_r_8_12_19" }, { "id": "_r_8_12_20" } ] }, { "id": "_r_8_9", "children": [ { "id": "_r_8_9_13" }, { "id": "_r_8_9_14" }, { "id": "_r_8_9_15" }, { "id": "_r_8_9_16" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_21_22_29_30_32_42" ] }, { "type": "FeatureTerm", "operands": [ "_r_21_22_29_30_32_43" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_21_22_29" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_21_22_54" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_21_22_23" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_21_22_29_30_33_48" ] }, { "type": "FeatureTerm", "operands": [ "_r_21_22_29_30_33_49" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_21_22_55" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_21_22_29_30_33_45" ] }, { "type": "FeatureTerm", "operands": [ "_r_21_22_29_30_33_47" ] } ] } } }