{ "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_19": { "name": "_r_1_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2": { "name": "_r_1_2", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4": { "name": "_r_1_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5": { "name": "_r_1_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_20": { "name": "_r_20", "optional": false, "type": "FEATURE", "note": "" }, "_r_20_21": { "name": "_r_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_34": { "name": "_r_20_21_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_36": { "name": "_r_20_21_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_37": { "name": "_r_20_21_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_38": { "name": "_r_20_21_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_39": { "name": "_r_20_21_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_84": { "name": "_r_20_21_84", "optional": false, "type": "FEATURE", "note": "" }, "_r_20_21_85": { "name": "_r_20_21_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_86": { "name": "_r_20_21_86", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_87": { "name": "_r_20_21_87", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_88": { "name": "_r_20_21_88", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_89": { "name": "_r_20_21_89", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_90": { "name": "_r_20_21_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_91": { "name": "_r_20_21_91", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_93": { "name": "_r_20_21_93", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_21_94": { "name": "_r_20_21_94", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_22": { "name": "_r_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_22_40": { "name": "_r_20_22_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_22_41": { "name": "_r_20_22_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_22_43": { "name": "_r_20_22_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_22_61": { "name": "_r_20_22_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_20_22_92": { "name": "_r_20_22_92", "optional": true, "type": "FEATURE", "note": "" }, "_r_28": { "name": "_r_28", "optional": false, "type": "FEATURE", "note": "" }, "_r_28_29": { "name": "_r_28_29", "optional": false, "type": "XOR", "note": "" }, "_r_28_29_30_31": { "name": "_r_28_29_30_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_29_30_32": { "name": "_r_28_29_30_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_29_30_33": { "name": "_r_28_29_30_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_44": { "name": "_r_44", "optional": false, "type": "FEATURE", "note": "" }, "_r_44_45": { "name": "_r_44_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_46": { "name": "_r_44_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_44_47": { "name": "_r_44_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_48": { "name": "_r_48", "optional": false, "type": "FEATURE", "note": "" }, "_r_48_49": { "name": "_r_48_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_50": { "name": "_r_48_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_51": { "name": "_r_48_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_49": { "name": "_r_49", "optional": false, "type": "OR", "note": "" }, "_r_49_50_51": { "name": "_r_49_50_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_52": { "name": "_r_49_50_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_53": { "name": "_r_49_50_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_54": { "name": "_r_49_50_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_55": { "name": "_r_49_50_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_56": { "name": "_r_49_50_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_57": { "name": "_r_49_50_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_58": { "name": "_r_49_50_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_59": { "name": "_r_49_50_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_60": { "name": "_r_49_50_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_61": { "name": "_r_49_50_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_62": { "name": "_r_49_50_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_63": { "name": "_r_49_50_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_64": { "name": "_r_49_50_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_65": { "name": "_r_49_50_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_66": { "name": "_r_49_50_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_67": { "name": "_r_49_50_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_68": { "name": "_r_49_50_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_69": { "name": "_r_49_50_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_70": { "name": "_r_49_50_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_71": { "name": "_r_49_50_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_72": { "name": "_r_49_50_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_73": { "name": "_r_49_50_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_74": { "name": "_r_49_50_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_75": { "name": "_r_49_50_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_76": { "name": "_r_49_50_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_77": { "name": "_r_49_50_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_49_50_78": { "name": "_r_49_50_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_57": { "name": "_r_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_58": { "name": "_r_57_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_59": { "name": "_r_57_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_60": { "name": "_r_57_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": false, "type": "FEATURE", "note": "" }, "_r_6_7": { "name": "_r_6_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_8": { "name": "_r_6_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_79": { "name": "_r_79", "optional": false, "type": "FEATURE", "note": "" }, "_r_79_80": { "name": "_r_79_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_79_81": { "name": "_r_79_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_83": { "name": "_r_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_9": { "name": "_r_9", "optional": false, "type": "FEATURE", "note": "" }, "_r_9_10": { "name": "_r_9_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_11": { "name": "_r_9_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_12": { "name": "_r_9_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_13": { "name": "_r_9_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_14": { "name": "_r_9_14", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_19" }, { "id": "_r_1_2" }, { "id": "_r_1_4" }, { "id": "_r_1_5" } ] }, { "id": "_r_20", "children": [ { "id": "_r_20_21", "children": [ { "id": "_r_20_21_34" }, { "id": "_r_20_21_36" }, { "id": "_r_20_21_37" }, { "id": "_r_20_21_38" }, { "id": "_r_20_21_39" }, { "id": "_r_20_21_84" }, { "id": "_r_20_21_85" }, { "id": "_r_20_21_86" }, { "id": "_r_20_21_87" }, { "id": "_r_20_21_88" }, { "id": "_r_20_21_89" }, { "id": "_r_20_21_90" }, { "id": "_r_20_21_91" }, { "id": "_r_20_21_93" }, { "id": "_r_20_21_94" } ] }, { "id": "_r_20_22", "children": [ { "id": "_r_20_22_40" }, { "id": "_r_20_22_41" }, { "id": "_r_20_22_43" }, { "id": "_r_20_22_61" }, { "id": "_r_20_22_92" } ] } ] }, { "id": "_r_28", "children": [ { "id": "_r_28_29", "children": [ { "id": "_r_28_29_30_31" }, { "id": "_r_28_29_30_32" }, { "id": "_r_28_29_30_33" } ] } ] }, { "id": "_r_44", "children": [ { "id": "_r_44_45" }, { "id": "_r_44_46" }, { "id": "_r_44_47" } ] }, { "id": "_r_48", "children": [ { "id": "_r_48_49" }, { "id": "_r_48_50" }, { "id": "_r_48_51" } ] }, { "id": "_r_49", "children": [ { "id": "_r_49_50_51" }, { "id": "_r_49_50_52" }, { "id": "_r_49_50_53" }, { "id": "_r_49_50_54" }, { "id": "_r_49_50_55" }, { "id": "_r_49_50_56" }, { "id": "_r_49_50_57" }, { "id": "_r_49_50_58" }, { "id": "_r_49_50_59" }, { "id": "_r_49_50_60" }, { "id": "_r_49_50_61" }, { "id": "_r_49_50_62" }, { "id": "_r_49_50_63" }, { "id": "_r_49_50_64" }, { "id": "_r_49_50_65" }, { "id": "_r_49_50_66" }, { "id": "_r_49_50_67" }, { "id": "_r_49_50_68" }, { "id": "_r_49_50_69" }, { "id": "_r_49_50_70" }, { "id": "_r_49_50_71" }, { "id": "_r_49_50_72" }, { "id": "_r_49_50_73" }, { "id": "_r_49_50_74" }, { "id": "_r_49_50_75" }, { "id": "_r_49_50_76" }, { "id": "_r_49_50_77" }, { "id": "_r_49_50_78" } ] }, { "id": "_r_57", "children": [ { "id": "_r_57_58" }, { "id": "_r_57_59" }, { "id": "_r_57_60" } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_7" }, { "id": "_r_6_8" } ] }, { "id": "_r_79", "children": [ { "id": "_r_79_80" }, { "id": "_r_79_81" } ] }, { "id": "_r_83" }, { "id": "_r_9", "children": [ { "id": "_r_9_10" }, { "id": "_r_9_11" }, { "id": "_r_9_12" }, { "id": "_r_9_13" }, { "id": "_r_9_14" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_66" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_85" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_67" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_85" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_68" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_69" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_57" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_22_61" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_83" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_72" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_48" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_71" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_44" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_70" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_38" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_37" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_68" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_22_41" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_87" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_39" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_86" ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_78" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_94" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_70" ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_72" ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_71" ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_74" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_93" ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_73" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_93" ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_76" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_85" ] } ] }, "Constraint 25": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_75" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_85" ] } ] }, "Constraint 26": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_28" ] } ] }, "Constraint 27": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_62" ] } ] }, "Constraint 28": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_91" ] } ] }, "Constraint 29": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_91" ] } ] }, "Constraint 30": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_63" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_22_92" ] } ] }, "Constraint 31": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_36" ] } ] }, "Constraint 32": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_22_61" ] } ] }, "Constraint 33": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_79" ] } ] }, "Constraint 34": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_65" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_22_92" ] } ] }, "Constraint 35": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_64" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_22_92" ] } ] }, "Constraint 36": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_83" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_22_92" ] } ] }, "Constraint 37": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_79" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_22_92" ] } ] }, "Constraint 38": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_57" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_22_92" ] } ] }, "Constraint 39": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_34" ] } ] }, "Constraint 40": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_22_92" ] } ] }, "Constraint 41": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_56" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_89" ] } ] }, "Constraint 42": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_89" ] } ] }, "Constraint 43": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_53" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_86" ] } ] }, "Constraint 44": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_52" ] } ] }, "Constraint 45": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_55" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_88" ] } ] }, "Constraint 46": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_21_34" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_54" ] } ] }, "Constraint 47": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_83" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_90" ] } ] }, "Constraint 48": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_21_37" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_58" ] } ] }, "Constraint 49": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_21_37" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_59" ] } ] }, "Constraint 50": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_21_38" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_60" ] } ] }, "Constraint 51": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_57" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_90" ] } ] }, "Constraint 52": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_49_50_77" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_94" ] } ] }, "Constraint 53": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_76" ] } ] }, "Constraint 54": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_76" ] } ] }, "Constraint 55": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_79" ] } ] }, "Constraint 56": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_21_37" ] }, { "type": "FeatureTerm", "operands": [ "_r_49_50_51" ] } ] }, "Constraint 57": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_20_21_85" ] } ] }, "Constraint 58": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_20_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_57" ] } ] } } }