{ "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_1_39": { "name": "_r_1_39", "optional": false, "type": "XOR", "note": "" }, "_r_1_39_43_44": { "name": "_r_1_39_43_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_43_45": { "name": "_r_1_39_43_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_40": { "name": "_r_1_40", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_41": { "name": "_r_1_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_42": { "name": "_r_1_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_46": { "name": "_r_1_46", "optional": false, "type": "XOR", "note": "" }, "_r_1_46_47_48": { "name": "_r_1_46_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_46_47_49": { "name": "_r_1_46_47_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_46_47_50": { "name": "_r_1_46_47_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_24": { "name": "_r_2_24", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_25": { "name": "_r_2_25", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_26": { "name": "_r_2_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_10": { "name": "_r_3_10", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_11": { "name": "_r_3_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7": { "name": "_r_3_7", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_7_18": { "name": "_r_3_7_18", "optional": false, "type": "XOR", "note": "" }, "_r_3_7_18_20_21": { "name": "_r_3_7_18_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_18_20_22": { "name": "_r_3_7_18_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_19": { "name": "_r_3_7_19", "optional": false, "type": "XOR", "note": "" }, "_r_3_7_19_35_36": { "name": "_r_3_7_19_35_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_19_35_37": { "name": "_r_3_7_19_35_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_7_19_35_38": { "name": "_r_3_7_19_35_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_8": { "name": "_r_3_8", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_8_46": { "name": "_r_3_8_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_9": { "name": "_r_3_9", "optional": false, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": false, "type": "XOR", "note": "" }, "_r_46": { "name": "_r_46", "optional": false, "type": "OR", "note": "" }, "_r_46_47_48": { "name": "_r_46_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47_49": { "name": "_r_46_47_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47_50": { "name": "_r_46_47_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47_51": { "name": "_r_46_47_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47_52": { "name": "_r_46_47_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47_53": { "name": "_r_46_47_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47_54": { "name": "_r_46_47_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47_55": { "name": "_r_46_47_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47_56": { "name": "_r_46_47_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47_57": { "name": "_r_46_47_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_51_52": { "name": "_r_4_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_51_53": { "name": "_r_4_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_12": { "name": "_r_5_12", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_13": { "name": "_r_5_13", "optional": false, "type": "FEATURE", "note": "" }, "_r_5_13_14": { "name": "_r_5_13_14", "optional": false, "type": "XOR", "note": "" }, "_r_5_13_14_15_16": { "name": "_r_5_13_14_15_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_13_14_15_17": { "name": "_r_5_13_14_15_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": false, "type": "XOR", "note": "" }, "_r_6_46_47": { "name": "_r_6_46_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_46_48": { "name": "_r_6_46_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_46_49": { "name": "_r_6_46_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_46_50": { "name": "_r_6_46_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_46_51": { "name": "_r_6_46_51", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_39", "children": [ { "id": "_r_1_39_43_44" }, { "id": "_r_1_39_43_45" } ] }, { "id": "_r_1_40" }, { "id": "_r_1_41" }, { "id": "_r_1_42" }, { "id": "_r_1_46", "children": [ { "id": "_r_1_46_47_48" }, { "id": "_r_1_46_47_49" }, { "id": "_r_1_46_47_50" } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_24" }, { "id": "_r_2_25" }, { "id": "_r_2_26" } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_10" }, { "id": "_r_3_11" }, { "id": "_r_3_7", "children": [ { "id": "_r_3_7_18", "children": [ { "id": "_r_3_7_18_20_21" }, { "id": "_r_3_7_18_20_22" } ] }, { "id": "_r_3_7_19", "children": [ { "id": "_r_3_7_19_35_36" }, { "id": "_r_3_7_19_35_37" }, { "id": "_r_3_7_19_35_38" } ] } ] }, { "id": "_r_3_8", "children": [ { "id": "_r_3_8_46" } ] }, { "id": "_r_3_9" } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_51_52" }, { "id": "_r_4_51_53" } ] }, { "id": "_r_46", "children": [ { "id": "_r_46_47_48" }, { "id": "_r_46_47_49" }, { "id": "_r_46_47_50" }, { "id": "_r_46_47_51" }, { "id": "_r_46_47_52" }, { "id": "_r_46_47_53" }, { "id": "_r_46_47_54" }, { "id": "_r_46_47_55" }, { "id": "_r_46_47_56" }, { "id": "_r_46_47_57" } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_12" }, { "id": "_r_5_13", "children": [ { "id": "_r_5_13_14", "children": [ { "id": "_r_5_13_14_15_16" }, { "id": "_r_5_13_14_15_17" } ] } ] } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_46_47" }, { "id": "_r_6_46_48" }, { "id": "_r_6_46_49" }, { "id": "_r_6_46_50" }, { "id": "_r_6_46_51" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_51" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_52" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_53" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_54" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_53" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_13_14_15_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_52" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_13_14_15_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_51" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_13_14_15_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_51" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_48" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_13_14_15_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_19_35_37" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_57" ] } ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_19_35_37" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_56" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_19_35_36" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_19_35_37" ] } ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_55" ] } ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_19_35_37" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_18_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_54" ] } ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_18_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_18_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_19_35_38" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_54" ] } ] } ] }, "Constraint 25": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_19_35_38" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 26": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_56" ] } ] } ] }, "Constraint 27": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_19_35_36" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_51" ] } ] }, "Constraint 28": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_55" ] } ] } ] }, "Constraint 29": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_19_35_36" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_51" ] } ] }, "Constraint 30": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_18_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 31": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_48" ] } ] } ] }, "Constraint 32": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_18_20_21" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_51" ] } ] }, "Constraint 33": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_57" ] } ] } ] }, "Constraint 34": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_18_20_21" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_51" ] } ] }, "Constraint 35": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_50" ] } ] } ] }, "Constraint 36": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_13_14_15_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 37": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_51_52" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] } ] }, "Constraint 38": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_43_45" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_51" ] } ] }, "Constraint 39": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_43_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 40": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_51_52" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 41": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_51_52" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] } ] }, "Constraint 42": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_43_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 43": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_57" ] } ] } ] }, "Constraint 44": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_43_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] } ] }, "Constraint 45": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_43_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] } ] }, "Constraint 46": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_43_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] } ] }, "Constraint 47": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_55" ] } ] } ] }, "Constraint 48": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_51_52" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 49": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_56" ] } ] } ] }, "Constraint 50": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_51_52" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] } ] }, "Constraint 51": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_13_14_15_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_51" ] } ] }, "Constraint 52": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_13_14_15_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] } ] }, "Constraint 53": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_46_47_49" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 54": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 55": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_18_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 56": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_8_46" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 57": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_48" ] } ] } ] }, "Constraint 58": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_51_53" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_51" ] } ] }, "Constraint 59": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_56" ] } ] } ] }, "Constraint 60": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_51_53" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_51" ] } ] }, "Constraint 61": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_55" ] } ] } ] }, "Constraint 62": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_46_47_48" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] } ] }, "Constraint 63": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_53" ] } ] } ] }, "Constraint 64": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_8_46" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] } ] }, "Constraint 65": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_42" ] } ] }, "Constraint 66": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_54" ] } ] } ] }, "Constraint 67": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_52" ] } ] } ] }, "Constraint 68": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_18_20_22" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_51" ] } ] } ] }, "Constraint 69": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_53" ] } ] } ] }, "Constraint 70": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_43_45" ] }, { "type": "FeatureTerm", "operands": [ "_r_46_47_56" ] } ] }, "Constraint 71": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_57" ] } ] } ] }, "Constraint 72": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_50" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_48" ] } ] } ] }, "Constraint 73": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_46_47_50" ] }, { "type": "FeatureTerm", "operands": [ "_r_46_47_55" ] } ] }, "Constraint 74": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_49" ] } ] }, "Constraint 75": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_46_47_50" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_51" ] } ] }, "Constraint 76": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_53" ] } ] } ] }, "Constraint 77": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_51" ] } ] } ] }, "Constraint 78": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_48" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_52" ] } ] } ] }, "Constraint 79": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_48" ] } ] } ] }, "Constraint 80": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_46_47" ] } ] } ] }, "Constraint 81": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_46_51" ] } ] }, "Constraint 82": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_7_18_20_22" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_50" ] } ] } ] }, "Constraint 83": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_40" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_46_47_49" ] } ] } ] } } }