{ "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": false, "type": "XOR", "note": "" }, "_r_13_14_15": { "name": "_r_13_14_15", "optional": true, "type": "XOR", "note": "" }, "_r_13_14_15_21_22": { "name": "_r_13_14_15_21_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_15_21_23": { "name": "_r_13_14_15_21_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_15_21_24": { "name": "_r_13_14_15_21_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_16": { "name": "_r_13_14_16", "optional": true, "type": "XOR", "note": "" }, "_r_13_14_16_17_18": { "name": "_r_13_14_16_17_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_16_17_19": { "name": "_r_13_14_16_17_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_16_17_20": { "name": "_r_13_14_16_17_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3": { "name": "_r_1_2_3", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_4": { "name": "_r_1_2_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_5": { "name": "_r_1_2_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_25": { "name": "_r_25", "optional": false, "type": "XOR", "note": "" }, "_r_25_40_41": { "name": "_r_25_40_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_25_40_42": { "name": "_r_25_40_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_26": { "name": "_r_26", "optional": false, "type": "XOR", "note": "" }, "_r_26_27_28": { "name": "_r_26_27_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_29": { "name": "_r_26_27_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_30": { "name": "_r_26_27_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_31": { "name": "_r_26_27_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_57": { "name": "_r_26_27_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_32": { "name": "_r_32", "optional": false, "type": "XOR", "note": "" }, "_r_32_34_35": { "name": "_r_32_34_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_32_34_36": { "name": "_r_32_34_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_32_34_37": { "name": "_r_32_34_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_32_34_38": { "name": "_r_32_34_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_32_34_39": { "name": "_r_32_34_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_33": { "name": "_r_33", "optional": true, "type": "XOR", "note": "" }, "_r_33_43_44": { "name": "_r_33_43_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_43_45": { "name": "_r_33_43_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_46": { "name": "_r_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_48": { "name": "_r_46_48", "optional": false, "type": "OR", "note": "" }, "_r_46_48_50_51": { "name": "_r_46_48_50_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_48_50_52": { "name": "_r_46_48_50_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_49": { "name": "_r_46_49", "optional": false, "type": "XOR", "note": "" }, "_r_46_49_53_54": { "name": "_r_46_49_53_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_49_53_55": { "name": "_r_46_49_53_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_49_53_56": { "name": "_r_46_49_53_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_47": { "name": "_r_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": false, "type": "XOR", "note": "" }, "_r_6_7_10": { "name": "_r_6_7_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7_11": { "name": "_r_6_7_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7_12": { "name": "_r_6_7_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7_8": { "name": "_r_6_7_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7_9": { "name": "_r_6_7_9", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2_3" }, { "id": "_r_1_2_4" }, { "id": "_r_1_2_5" } ] }, { "id": "_r_13", "children": [ { "id": "_r_13_14_15", "children": [ { "id": "_r_13_14_15_21_22" }, { "id": "_r_13_14_15_21_23" }, { "id": "_r_13_14_15_21_24" } ] }, { "id": "_r_13_14_16", "children": [ { "id": "_r_13_14_16_17_18" }, { "id": "_r_13_14_16_17_19" }, { "id": "_r_13_14_16_17_20" } ] } ] }, { "id": "_r_25", "children": [ { "id": "_r_25_40_41" }, { "id": "_r_25_40_42" } ] }, { "id": "_r_26", "children": [ { "id": "_r_26_27_28" }, { "id": "_r_26_27_29" }, { "id": "_r_26_27_30" }, { "id": "_r_26_27_31" }, { "id": "_r_26_27_57" } ] }, { "id": "_r_32", "children": [ { "id": "_r_32_34_35" }, { "id": "_r_32_34_36" }, { "id": "_r_32_34_37" }, { "id": "_r_32_34_38" }, { "id": "_r_32_34_39" } ] }, { "id": "_r_33", "children": [ { "id": "_r_33_43_44" }, { "id": "_r_33_43_45" } ] }, { "id": "_r_46", "children": [ { "id": "_r_46_48", "children": [ { "id": "_r_46_48_50_51" }, { "id": "_r_46_48_50_52" } ] }, { "id": "_r_46_49", "children": [ { "id": "_r_46_49_53_54" }, { "id": "_r_46_49_53_55" }, { "id": "_r_46_49_53_56" } ] } ] }, { "id": "_r_47" }, { "id": "_r_6", "children": [ { "id": "_r_6_7_10" }, { "id": "_r_6_7_11" }, { "id": "_r_6_7_12" }, { "id": "_r_6_7_8" }, { "id": "_r_6_7_9" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_14_15" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_28" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_29" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_32_34_36" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_32_34_39" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_32_34_37" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_31" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_31" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_30" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_57" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_32_34_35" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_32_34_38" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_57" ] } ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_46" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_15" ] } ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_15" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_46_48_50_51" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_46_48_50_52" ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_7_12" ] } ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_7_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_14_16_17_20" ] } ] } } }