{ "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_6_10": { "name": "_r_1_6_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_11": { "name": "_r_1_6_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_7": { "name": "_r_1_6_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_8": { "name": "_r_1_6_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_9": { "name": "_r_1_6_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "XOR", "note": "" }, "_r_2_12_13": { "name": "_r_2_12_13", "optional": true, "type": "XOR", "note": "" }, "_r_2_12_13_15_16": { "name": "_r_2_12_13_15_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_12_13_15_17": { "name": "_r_2_12_13_15_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_12_13_15_18": { "name": "_r_2_12_13_15_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_12_14": { "name": "_r_2_12_14", "optional": true, "type": "XOR", "note": "" }, "_r_2_12_14_20_21": { "name": "_r_2_12_14_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_12_14_20_22": { "name": "_r_2_12_14_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_12_14_20_23": { "name": "_r_2_12_14_20_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_24": { "name": "_r_3_24", "optional": false, "type": "XOR", "note": "" }, "_r_3_24_37_38": { "name": "_r_3_24_37_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_24_37_39": { "name": "_r_3_24_37_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_25": { "name": "_r_3_25", "optional": false, "type": "XOR", "note": "" }, "_r_3_25_40_41": { "name": "_r_3_25_40_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_25_40_42": { "name": "_r_3_25_40_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_25_40_43": { "name": "_r_3_25_40_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_25_40_44": { "name": "_r_3_25_40_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_25_40_45": { "name": "_r_3_25_40_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_26": { "name": "_r_3_26", "optional": false, "type": "XOR", "note": "" }, "_r_3_26_46_47": { "name": "_r_3_26_46_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_26_46_48": { "name": "_r_3_26_46_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_26_46_49": { "name": "_r_3_26_46_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_26_46_50": { "name": "_r_3_26_46_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_26_46_51": { "name": "_r_3_26_46_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_27": { "name": "_r_3_27", "optional": true, "type": "XOR", "note": "" }, "_r_3_27_34_35": { "name": "_r_3_27_34_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_27_34_36": { "name": "_r_3_27_34_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": false, "type": "XOR", "note": "" }, "_r_4_29_30": { "name": "_r_4_29_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_29_31": { "name": "_r_4_29_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_29_33": { "name": "_r_4_29_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_50": { "name": "_r_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_52": { "name": "_r_5_52", "optional": false, "type": "OR", "note": "" }, "_r_5_52_54_55": { "name": "_r_5_52_54_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_52_54_56": { "name": "_r_5_52_54_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_52_54_57": { "name": "_r_5_52_54_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_53": { "name": "_r_5_53", "optional": false, "type": "XOR", "note": "" }, "_r_5_53_58_59": { "name": "_r_5_53_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_53_58_60": { "name": "_r_5_53_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_53_58_61": { "name": "_r_5_53_58_61", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_6_10" }, { "id": "_r_1_6_11" }, { "id": "_r_1_6_7" }, { "id": "_r_1_6_8" }, { "id": "_r_1_6_9" } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_12_13", "children": [ { "id": "_r_2_12_13_15_16" }, { "id": "_r_2_12_13_15_17" }, { "id": "_r_2_12_13_15_18" } ] }, { "id": "_r_2_12_14", "children": [ { "id": "_r_2_12_14_20_21" }, { "id": "_r_2_12_14_20_22" }, { "id": "_r_2_12_14_20_23" } ] } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_24", "children": [ { "id": "_r_3_24_37_38" }, { "id": "_r_3_24_37_39" } ] }, { "id": "_r_3_25", "children": [ { "id": "_r_3_25_40_41" }, { "id": "_r_3_25_40_42" }, { "id": "_r_3_25_40_43" }, { "id": "_r_3_25_40_44" }, { "id": "_r_3_25_40_45" } ] }, { "id": "_r_3_26", "children": [ { "id": "_r_3_26_46_47" }, { "id": "_r_3_26_46_48" }, { "id": "_r_3_26_46_49" }, { "id": "_r_3_26_46_50" }, { "id": "_r_3_26_46_51" } ] }, { "id": "_r_3_27", "children": [ { "id": "_r_3_27_34_35" }, { "id": "_r_3_27_34_36" } ] } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_29_30" }, { "id": "_r_4_29_31" }, { "id": "_r_4_29_33" } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_52", "children": [ { "id": "_r_5_52_54_55" }, { "id": "_r_5_52_54_56" }, { "id": "_r_5_52_54_57" } ] }, { "id": "_r_5_53", "children": [ { "id": "_r_5_53_58_59" }, { "id": "_r_5_53_58_60" }, { "id": "_r_5_53_58_61" } ] } ] }, { "id": "_r_50" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_29_30" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_52_54_57" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_25_40_44" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_29_30" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_26_46_50" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_29_31" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_26_46_50" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_29_30" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_12_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_29_31" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_12_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_29_31" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_25_40_44" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_29_31" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_29_30" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_25_40_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_29_33" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_26_46_47" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_29_33" ] } ] } } }