{ "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_11": { "name": "_r_11", "optional": false, "type": "FEATURE", "note": "" }, "_r_12": { "name": "_r_12", "optional": false, "type": "FEATURE", "note": "" }, "_r_13": { "name": "_r_13", "optional": false, "type": "XOR", "note": "" }, "_r_13_19_20": { "name": "_r_13_19_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_19_21": { "name": "_r_13_19_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2": { "name": "_r_1_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_5": { "name": "_r_1_2_5", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_6": { "name": "_r_1_2_6", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_7": { "name": "_r_1_2_7", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_8": { "name": "_r_1_2_8", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_8_10": { "name": "_r_1_2_8_10", "optional": false, "type": "XOR", "note": "" }, "_r_1_2_8_10_37_53": { "name": "_r_1_2_8_10_37_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_8_10_37_56": { "name": "_r_1_2_8_10_37_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_8_9": { "name": "_r_1_2_8_9", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_3": { "name": "_r_1_3", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_22": { "name": "_r_1_3_22", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_3_23": { "name": "_r_1_3_23", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_3_24": { "name": "_r_1_3_24", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_4": { "name": "_r_1_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_26": { "name": "_r_1_4_26", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_4_26_30": { "name": "_r_1_4_26_30", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_4_26_31": { "name": "_r_1_4_26_31", "optional": false, "type": "XOR", "note": "" }, "_r_1_4_26_31_32_54": { "name": "_r_1_4_26_31_32_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_26_31_32_55": { "name": "_r_1_4_26_31_32_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_27": { "name": "_r_1_4_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_28": { "name": "_r_1_4_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_29": { "name": "_r_1_4_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_40": { "name": "_r_40", "optional": false, "type": "XOR", "note": "" }, "_r_40_41_42": { "name": "_r_40_41_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_40_41_44": { "name": "_r_40_41_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_40_41_46": { "name": "_r_40_41_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_47": { "name": "_r_47", "optional": false, "type": "FEATURE", "note": "" }, "_r_47_48": { "name": "_r_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_47_49": { "name": "_r_47_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_47_51": { "name": "_r_47_51", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2", "children": [ { "id": "_r_1_2_5" }, { "id": "_r_1_2_6" }, { "id": "_r_1_2_7" }, { "id": "_r_1_2_8", "children": [ { "id": "_r_1_2_8_10", "children": [ { "id": "_r_1_2_8_10_37_53" }, { "id": "_r_1_2_8_10_37_56" } ] }, { "id": "_r_1_2_8_9" } ] } ] }, { "id": "_r_1_3", "children": [ { "id": "_r_1_3_22" }, { "id": "_r_1_3_23" }, { "id": "_r_1_3_24" } ] }, { "id": "_r_1_4", "children": [ { "id": "_r_1_4_26", "children": [ { "id": "_r_1_4_26_30" }, { "id": "_r_1_4_26_31", "children": [ { "id": "_r_1_4_26_31_32_54" }, { "id": "_r_1_4_26_31_32_55" } ] } ] }, { "id": "_r_1_4_27" }, { "id": "_r_1_4_28" }, { "id": "_r_1_4_29" } ] } ] }, { "id": "_r_11" }, { "id": "_r_12" }, { "id": "_r_13", "children": [ { "id": "_r_13_19_20" }, { "id": "_r_13_19_21" } ] }, { "id": "_r_40", "children": [ { "id": "_r_40_41_42" }, { "id": "_r_40_41_44" }, { "id": "_r_40_41_46" } ] }, { "id": "_r_47", "children": [ { "id": "_r_47_48" }, { "id": "_r_47_49" }, { "id": "_r_47_51" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_40_41_46" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_26_31_32_54" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_40_41_46" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_8_10_37_53" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_4" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_47_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_8_10_37_53" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_3" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_47_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_26_31_32_54" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_47_48" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_26_31_32_55" ] } ] } ] } } }