{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "OR", "note": "" }, "_r_10": { "name": "_r_10", "optional": false, "type": "XOR", "note": "" }, "_r_10_146_147": { "name": "_r_10_146_147", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_146_148": { "name": "_r_10_146_148", "optional": true, "type": "FEATURE", "note": "" }, "_r_11": { "name": "_r_11", "optional": false, "type": "XOR", "note": "" }, "_r_11_149_150": { "name": "_r_11_149_150", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_149_151": { "name": "_r_11_149_151", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_149_152": { "name": "_r_11_149_152", "optional": true, "type": "FEATURE", "note": "" }, "_r_12": { "name": "_r_12", "optional": false, "type": "XOR", "note": "" }, "_r_12_153_154": { "name": "_r_12_153_154", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_153_155": { "name": "_r_12_153_155", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_153_156": { "name": "_r_12_153_156", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_14": { "name": "_r_1_13_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_15": { "name": "_r_1_13_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_16": { "name": "_r_1_13_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_17": { "name": "_r_1_13_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_18": { "name": "_r_1_13_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_19": { "name": "_r_1_13_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_20": { "name": "_r_1_13_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_21": { "name": "_r_1_13_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_22": { "name": "_r_1_13_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_23": { "name": "_r_1_13_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_24": { "name": "_r_1_13_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_25": { "name": "_r_1_13_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_26": { "name": "_r_1_13_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_27": { "name": "_r_1_13_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_28": { "name": "_r_1_13_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_29": { "name": "_r_1_13_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_30": { "name": "_r_1_13_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_31": { "name": "_r_1_13_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_32": { "name": "_r_1_13_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_33": { "name": "_r_1_13_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_34": { "name": "_r_1_13_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_35": { "name": "_r_1_13_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_36": { "name": "_r_1_13_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_37": { "name": "_r_1_13_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_38": { "name": "_r_1_13_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_39": { "name": "_r_1_13_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_40": { "name": "_r_1_13_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_41": { "name": "_r_1_13_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_42": { "name": "_r_1_13_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_43": { "name": "_r_1_13_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_44": { "name": "_r_1_13_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_45": { "name": "_r_1_13_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_46": { "name": "_r_1_13_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_47": { "name": "_r_1_13_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_48": { "name": "_r_1_13_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_49": { "name": "_r_1_13_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_50": { "name": "_r_1_13_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_51": { "name": "_r_1_13_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_52": { "name": "_r_1_13_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_53": { "name": "_r_1_13_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_54": { "name": "_r_1_13_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_55": { "name": "_r_1_13_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_56": { "name": "_r_1_13_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_57": { "name": "_r_1_13_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_58": { "name": "_r_1_13_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_59": { "name": "_r_1_13_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_60": { "name": "_r_1_13_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_61": { "name": "_r_1_13_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_62": { "name": "_r_1_13_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_63": { "name": "_r_1_13_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_64": { "name": "_r_1_13_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_65": { "name": "_r_1_13_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_66": { "name": "_r_1_13_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_67": { "name": "_r_1_13_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_68": { "name": "_r_1_13_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_69": { "name": "_r_1_13_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_70": { "name": "_r_1_13_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_71": { "name": "_r_1_13_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_72": { "name": "_r_1_13_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_73": { "name": "_r_1_13_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_74": { "name": "_r_1_13_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_75": { "name": "_r_1_13_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_76": { "name": "_r_1_13_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_77": { "name": "_r_1_13_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_78": { "name": "_r_1_13_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_79": { "name": "_r_1_13_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_80": { "name": "_r_1_13_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_81": { "name": "_r_1_13_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_82": { "name": "_r_1_13_82", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_83": { "name": "_r_1_13_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_84": { "name": "_r_1_13_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_85": { "name": "_r_1_13_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_86": { "name": "_r_1_13_86", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_87": { "name": "_r_1_13_87", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_88": { "name": "_r_1_13_88", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_89": { "name": "_r_1_13_89", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_90": { "name": "_r_1_13_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_91": { "name": "_r_1_13_91", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_92": { "name": "_r_1_13_92", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_93": { "name": "_r_1_13_93", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_94": { "name": "_r_1_13_94", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_95": { "name": "_r_1_13_95", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_96": { "name": "_r_1_13_96", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_97": { "name": "_r_1_13_97", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_13_98": { "name": "_r_1_13_98", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "OR", "note": "" }, "_r_2_99_100": { "name": "_r_2_99_100", "optional": true, "type": "OR", "note": "" }, "_r_2_99_100_103_104": { "name": "_r_2_99_100_103_104", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_100_103_105": { "name": "_r_2_99_100_103_105", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_100_103_106": { "name": "_r_2_99_100_103_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101": { "name": "_r_2_99_101", "optional": true, "type": "OR", "note": "" }, "_r_2_99_101_108_109": { "name": "_r_2_99_101_108_109", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_108_110": { "name": "_r_2_99_101_108_110", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_108_111": { "name": "_r_2_99_101_108_111", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_108_112": { "name": "_r_2_99_101_108_112", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_108_113": { "name": "_r_2_99_101_108_113", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_108_114": { "name": "_r_2_99_101_108_114", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_108_115": { "name": "_r_2_99_101_108_115", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_108_116": { "name": "_r_2_99_101_108_116", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_101_108_117": { "name": "_r_2_99_101_108_117", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_99_102": { "name": "_r_2_99_102", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "XOR", "note": "" }, "_r_3_118_119": { "name": "_r_3_118_119", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_118_120": { "name": "_r_3_118_120", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": false, "type": "XOR", "note": "" }, "_r_4_121_122": { "name": "_r_4_121_122", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_121_123": { "name": "_r_4_121_123", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_121_124": { "name": "_r_4_121_124", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_121_125": { "name": "_r_4_121_125", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": false, "type": "XOR", "note": "" }, "_r_5_126_127": { "name": "_r_5_126_127", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_126_128": { "name": "_r_5_126_128", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": false, "type": "XOR", "note": "" }, "_r_6_129_130": { "name": "_r_6_129_130", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_129_131": { "name": "_r_6_129_131", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_129_132": { "name": "_r_6_129_132", "optional": true, "type": "FEATURE", "note": "" }, "_r_7": { "name": "_r_7", "optional": false, "type": "XOR", "note": "" }, "_r_7_133_134": { "name": "_r_7_133_134", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_133_135": { "name": "_r_7_133_135", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_133_136": { "name": "_r_7_133_136", "optional": true, "type": "FEATURE", "note": "" }, "_r_8": { "name": "_r_8", "optional": false, "type": "XOR", "note": "" }, "_r_8_137_138": { "name": "_r_8_137_138", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_137_139": { "name": "_r_8_137_139", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_137_140": { "name": "_r_8_137_140", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_137_141": { "name": "_r_8_137_141", "optional": true, "type": "FEATURE", "note": "" }, "_r_9": { "name": "_r_9", "optional": false, "type": "XOR", "note": "" }, "_r_9_142_143": { "name": "_r_9_142_143", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_142_144": { "name": "_r_9_142_144", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_142_145": { "name": "_r_9_142_145", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_13_14" }, { "id": "_r_1_13_15" }, { "id": "_r_1_13_16" }, { "id": "_r_1_13_17" }, { "id": "_r_1_13_18" }, { "id": "_r_1_13_19" }, { "id": "_r_1_13_20" }, { "id": "_r_1_13_21" }, { "id": "_r_1_13_22" }, { "id": "_r_1_13_23" }, { "id": "_r_1_13_24" }, { "id": "_r_1_13_25" }, { "id": "_r_1_13_26" }, { "id": "_r_1_13_27" }, { "id": "_r_1_13_28" }, { "id": "_r_1_13_29" }, { "id": "_r_1_13_30" }, { "id": "_r_1_13_31" }, { "id": "_r_1_13_32" }, { "id": "_r_1_13_33" }, { "id": "_r_1_13_34" }, { "id": "_r_1_13_35" }, { "id": "_r_1_13_36" }, { "id": "_r_1_13_37" }, { "id": "_r_1_13_38" }, { "id": "_r_1_13_39" }, { "id": "_r_1_13_40" }, { "id": "_r_1_13_41" }, { "id": "_r_1_13_42" }, { "id": "_r_1_13_43" }, { "id": "_r_1_13_44" }, { "id": "_r_1_13_45" }, { "id": "_r_1_13_46" }, { "id": "_r_1_13_47" }, { "id": "_r_1_13_48" }, { "id": "_r_1_13_49" }, { "id": "_r_1_13_50" }, { "id": "_r_1_13_51" }, { "id": "_r_1_13_52" }, { "id": "_r_1_13_53" }, { "id": "_r_1_13_54" }, { "id": "_r_1_13_55" }, { "id": "_r_1_13_56" }, { "id": "_r_1_13_57" }, { "id": "_r_1_13_58" }, { "id": "_r_1_13_59" }, { "id": "_r_1_13_60" }, { "id": "_r_1_13_61" }, { "id": "_r_1_13_62" }, { "id": "_r_1_13_63" }, { "id": "_r_1_13_64" }, { "id": "_r_1_13_65" }, { "id": "_r_1_13_66" }, { "id": "_r_1_13_67" }, { "id": "_r_1_13_68" }, { "id": "_r_1_13_69" }, { "id": "_r_1_13_70" }, { "id": "_r_1_13_71" }, { "id": "_r_1_13_72" }, { "id": "_r_1_13_73" }, { "id": "_r_1_13_74" }, { "id": "_r_1_13_75" }, { "id": "_r_1_13_76" }, { "id": "_r_1_13_77" }, { "id": "_r_1_13_78" }, { "id": "_r_1_13_79" }, { "id": "_r_1_13_80" }, { "id": "_r_1_13_81" }, { "id": "_r_1_13_82" }, { "id": "_r_1_13_83" }, { "id": "_r_1_13_84" }, { "id": "_r_1_13_85" }, { "id": "_r_1_13_86" }, { "id": "_r_1_13_87" }, { "id": "_r_1_13_88" }, { "id": "_r_1_13_89" }, { "id": "_r_1_13_90" }, { "id": "_r_1_13_91" }, { "id": "_r_1_13_92" }, { "id": "_r_1_13_93" }, { "id": "_r_1_13_94" }, { "id": "_r_1_13_95" }, { "id": "_r_1_13_96" }, { "id": "_r_1_13_97" }, { "id": "_r_1_13_98" } ] }, { "id": "_r_10", "children": [ { "id": "_r_10_146_147" }, { "id": "_r_10_146_148" } ] }, { "id": "_r_11", "children": [ { "id": "_r_11_149_150" }, { "id": "_r_11_149_151" }, { "id": "_r_11_149_152" } ] }, { "id": "_r_12", "children": [ { "id": "_r_12_153_154" }, { "id": "_r_12_153_155" }, { "id": "_r_12_153_156" } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_99_100", "children": [ { "id": "_r_2_99_100_103_104" }, { "id": "_r_2_99_100_103_105" }, { "id": "_r_2_99_100_103_106" } ] }, { "id": "_r_2_99_101", "children": [ { "id": "_r_2_99_101_108_109" }, { "id": "_r_2_99_101_108_110" }, { "id": "_r_2_99_101_108_111" }, { "id": "_r_2_99_101_108_112" }, { "id": "_r_2_99_101_108_113" }, { "id": "_r_2_99_101_108_114" }, { "id": "_r_2_99_101_108_115" }, { "id": "_r_2_99_101_108_116" }, { "id": "_r_2_99_101_108_117" } ] }, { "id": "_r_2_99_102" } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_118_119" }, { "id": "_r_3_118_120" } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_121_122" }, { "id": "_r_4_121_123" }, { "id": "_r_4_121_124" }, { "id": "_r_4_121_125" } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_126_127" }, { "id": "_r_5_126_128" } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_129_130" }, { "id": "_r_6_129_131" }, { "id": "_r_6_129_132" } ] }, { "id": "_r_7", "children": [ { "id": "_r_7_133_134" }, { "id": "_r_7_133_135" }, { "id": "_r_7_133_136" } ] }, { "id": "_r_8", "children": [ { "id": "_r_8_137_138" }, { "id": "_r_8_137_139" }, { "id": "_r_8_137_140" }, { "id": "_r_8_137_141" } ] }, { "id": "_r_9", "children": [ { "id": "_r_9_142_143" }, { "id": "_r_9_142_144" }, { "id": "_r_9_142_145" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_86" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_87" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_88" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_89" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_117" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_48" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_50" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_49" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_52" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_51" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_54" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_53" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_23" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_105" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_24" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_105" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_25" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_106" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_55" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_56" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_111" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_57" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_111" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_90" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_117" ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_104" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_92" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_117" ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_104" ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_91" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_117" ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_18" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_104" ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_19" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_104" ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_93" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_117" ] } ] }, "Constraint 25": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_20" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_104" ] } ] }, "Constraint 26": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_21" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_105" ] } ] }, "Constraint 27": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_105" ] } ] }, "Constraint 28": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_25" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 29": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_27" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 30": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_98" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_102" ] } ] }, "Constraint 31": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_18" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 32": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_45" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 33": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_34" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_109" ] } ] }, "Constraint 34": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_80" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 35": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_39" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_109" ] } ] }, "Constraint 36": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_37" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_109" ] } ] }, "Constraint 37": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_36" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_109" ] } ] }, "Constraint 38": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_35" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_109" ] } ] }, "Constraint 39": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 40": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 41": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_42" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_109" ] } ] }, "Constraint 42": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_109" ] } ] }, "Constraint 43": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_33" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_109" ] } ] }, "Constraint 44": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_46" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 45": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_47" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_110" ] } ] }, "Constraint 46": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_82" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 47": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_28" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_106" ] } ] }, "Constraint 48": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_81" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 49": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_26" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_106" ] } ] }, "Constraint 50": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_27" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_106" ] } ] }, "Constraint 51": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_31" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_106" ] } ] }, "Constraint 52": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_85" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 53": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_32" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_109" ] } ] }, "Constraint 54": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_84" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 55": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_29" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_106" ] } ] }, "Constraint 56": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_83" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_116" ] } ] }, "Constraint 57": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_30" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_106" ] } ] }, "Constraint 58": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_73" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_113" ] } ] }, "Constraint 59": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_74" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_102" ] } ] }, "Constraint 60": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_72" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_112" ] } ] }, "Constraint 61": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_69" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_112" ] } ] }, "Constraint 62": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_68" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_112" ] } ] }, "Constraint 63": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_71" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_112" ] } ] }, "Constraint 64": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_70" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_112" ] } ] }, "Constraint 65": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_94" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_102" ] } ] }, "Constraint 66": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_95" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_102" ] } ] }, "Constraint 67": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_96" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_102" ] } ] }, "Constraint 68": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_97" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_102" ] } ] }, "Constraint 69": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_75" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_102" ] } ] }, "Constraint 70": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_104" ] } ] }, "Constraint 71": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_100_103_104" ] } ] }, "Constraint 72": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_78" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_115" ] } ] }, "Constraint 73": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_79" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_115" ] } ] }, "Constraint 74": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_76" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_115" ] } ] }, "Constraint 75": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_77" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_115" ] } ] }, "Constraint 76": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_74" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_114" ] } ] }, "Constraint 77": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_75" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_114" ] } ] }, "Constraint 78": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_64" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_112" ] } ] }, "Constraint 79": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_63" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_112" ] } ] }, "Constraint 80": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_62" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_112" ] } ] }, "Constraint 81": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_61" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_111" ] } ] }, "Constraint 82": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_111" ] } ] }, "Constraint 83": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_59" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_111" ] } ] }, "Constraint 84": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_58" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_111" ] } ] }, "Constraint 85": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_66" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_112" ] } ] }, "Constraint 86": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_67" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_112" ] } ] }, "Constraint 87": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_13_65" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_99_101_108_112" ] } ] } } }