{ "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_141": { "name": "_r_141", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_143": { "name": "_r_141_143", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_143_128": { "name": "_r_141_143_128", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_143_128_129": { "name": "_r_141_143_128_129", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_143_128_131": { "name": "_r_141_143_128_131", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_143_133": { "name": "_r_141_143_133", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_143_133_133": { "name": "_r_141_143_133_133", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_143_133_134": { "name": "_r_141_143_133_134", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_147": { "name": "_r_141_147", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_147_149": { "name": "_r_141_147_149", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_147_149_141": { "name": "_r_141_147_149_141", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_147_149_142": { "name": "_r_141_147_149_142", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_147_149_142_144": { "name": "_r_141_147_149_142_144", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_147_149_147": { "name": "_r_141_147_149_147", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_147_149_148": { "name": "_r_141_147_149_148", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_147_150": { "name": "_r_141_147_150", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_147_150_140": { "name": "_r_141_147_150_140", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_147_150_146": { "name": "_r_141_147_150_146", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_147_150_149": { "name": "_r_141_147_150_149", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_155": { "name": "_r_141_155", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_155_161": { "name": "_r_141_155_161", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_155_161_150": { "name": "_r_141_155_161_150", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_155_161_151": { "name": "_r_141_155_161_151", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_155_161_154": { "name": "_r_141_155_161_154", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_155_162": { "name": "_r_141_155_162", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_155_162_153": { "name": "_r_141_155_162_153", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_155_162_155": { "name": "_r_141_155_162_155", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_166": { "name": "_r_141_166", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_166_168": { "name": "_r_141_166_168", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_166_168_160": { "name": "_r_141_166_168_160", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_166_168_161": { "name": "_r_141_166_168_161", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_166_168_163": { "name": "_r_141_166_168_163", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_166_168_163_164": { "name": "_r_141_166_168_163_164", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_166_169": { "name": "_r_141_166_169", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_166_169_165": { "name": "_r_141_166_169_165", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_166_169_165_167": { "name": "_r_141_166_169_165_167", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_166_169_165_168": { "name": "_r_141_166_169_165_168", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_166_169_166": { "name": "_r_141_166_169_166", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_166_169_166_169": { "name": "_r_141_166_169_166_169", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_166_169_170": { "name": "_r_141_166_169_170", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_173": { "name": "_r_141_173", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_173_136": { "name": "_r_141_173_136", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_173_136_137": { "name": "_r_141_173_136_137", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_173_136_137_134": { "name": "_r_141_173_136_137_134", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_173_136_137_135": { "name": "_r_141_173_136_137_135", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_173_143": { "name": "_r_141_173_143", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_173_143_144": { "name": "_r_141_173_143_144", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_173_143_144_136": { "name": "_r_141_173_143_144_136", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_173_143_144_137": { "name": "_r_141_173_143_144_137", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_187": { "name": "_r_141_187", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_187_149": { "name": "_r_141_187_149", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_187_150": { "name": "_r_141_187_150", "optional": true, "type": "FEATURE", "note": "" }, "_r_141_193": { "name": "_r_141_193", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_193_195": { "name": "_r_141_193_195", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_193_196": { "name": "_r_141_193_196", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_193_199": { "name": "_r_141_193_199", "optional": false, "type": "FEATURE", "note": "" }, "_r_141_193_200": { "name": "_r_141_193_200", "optional": false, "type": "FEATURE", "note": "" }, "_r_154": { "name": "_r_154", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_155": { "name": "_r_154_155", "optional": true, "type": "FEATURE", "note": "" }, "_r_154_155_158": { "name": "_r_154_155_158", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_155_158_160": { "name": "_r_154_155_158_160", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_155_158_161": { "name": "_r_154_155_158_161", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_155_158_162": { "name": "_r_154_155_158_162", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_155_163": { "name": "_r_154_155_163", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_155_163_164": { "name": "_r_154_155_163_164", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_174": { "name": "_r_154_174", "optional": true, "type": "FEATURE", "note": "" }, "_r_154_174_175": { "name": "_r_154_174_175", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_174_175_177": { "name": "_r_154_174_175_177", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_174_175_178": { "name": "_r_154_174_175_178", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_174_175_179": { "name": "_r_154_174_175_179", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_174_176": { "name": "_r_154_174_176", "optional": false, "type": "FEATURE", "note": "" }, "_r_154_174_176_180": { "name": "_r_154_174_176_180", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2": { "name": "_r_1_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_22": { "name": "_r_1_2_22", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_22_24": { "name": "_r_1_2_22_24", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_22_24_105": { "name": "_r_1_2_22_24_105", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_22_24_105_124": { "name": "_r_1_2_22_24_105_124", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_22_24_105_125": { "name": "_r_1_2_22_24_105_125", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_22_24_140": { "name": "_r_1_2_22_24_140", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_22_24_140_148_149": { "name": "_r_1_2_22_24_140_148_149", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_22_24_140_150_151": { "name": "_r_1_2_22_24_140_150_151", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_22_24_140_152_153": { "name": "_r_1_2_22_24_140_152_153", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_22_24_147": { "name": "_r_1_2_22_24_147", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_22_79": { "name": "_r_1_2_22_79", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_22_80": { "name": "_r_1_2_22_80", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_66": { "name": "_r_1_2_66", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_66_69": { "name": "_r_1_2_66_69", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_66_70": { "name": "_r_1_2_66_70", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_67": { "name": "_r_1_2_67", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_67_124": { "name": "_r_1_2_67_124", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_67_72": { "name": "_r_1_2_67_72", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_7": { "name": "_r_1_2_7", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_7_10": { "name": "_r_1_2_7_10", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_7_100": { "name": "_r_1_2_7_100", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_7_100_122": { "name": "_r_1_2_7_100_122", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_100_123": { "name": "_r_1_2_7_100_123", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7_81": { "name": "_r_1_2_7_81", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5": { "name": "_r_1_5", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5_67": { "name": "_r_1_5_67", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5_67_126": { "name": "_r_1_5_67_126", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5_67_88": { "name": "_r_1_5_67_88", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5_67_89": { "name": "_r_1_5_67_89", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5_84": { "name": "_r_1_5_84", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5_84_86": { "name": "_r_1_5_84_86", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5_84_87": { "name": "_r_1_5_84_87", "optional": false, "type": "FEATURE", "note": "" }, "_r_57": { "name": "_r_57", "optional": false, "type": "FEATURE", "note": "" }, "_r_57_63": { "name": "_r_57_63", "optional": false, "type": "FEATURE", "note": "" }, "_r_57_63_101": { "name": "_r_57_63_101", "optional": false, "type": "FEATURE", "note": "" }, "_r_57_63_101_102": { "name": "_r_57_63_101_102", "optional": false, "type": "FEATURE", "note": "" }, "_r_57_63_101_102_126": { "name": "_r_57_63_101_102_126", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_63_101_102_127": { "name": "_r_57_63_101_102_127", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_63_101_119": { "name": "_r_57_63_101_119", "optional": false, "type": "FEATURE", "note": "" }, "_r_57_63_101_119_128": { "name": "_r_57_63_101_119_128", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_63_101_119_129": { "name": "_r_57_63_101_119_129", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_97": { "name": "_r_57_97", "optional": false, "type": "FEATURE", "note": "" }, "_r_57_97_98": { "name": "_r_57_97_98", "optional": false, "type": "FEATURE", "note": "" }, "_r_57_97_98_120": { "name": "_r_57_97_98_120", "optional": false, "type": "FEATURE", "note": "" }, "_r_57_99": { "name": "_r_57_99", "optional": false, "type": "FEATURE", "note": "" }, "_r_57_99_100": { "name": "_r_57_99_100", "optional": false, "type": "FEATURE", "note": "" }, "_r_57_99_100_121": { "name": "_r_57_99_100_121", "optional": false, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2", "children": [ { "id": "_r_1_2_22", "children": [ { "id": "_r_1_2_22_24", "children": [ { "id": "_r_1_2_22_24_105", "children": [ { "id": "_r_1_2_22_24_105_124" }, { "id": "_r_1_2_22_24_105_125" } ] }, { "id": "_r_1_2_22_24_140", "children": [ { "id": "_r_1_2_22_24_140_148_149" }, { "id": "_r_1_2_22_24_140_150_151" }, { "id": "_r_1_2_22_24_140_152_153" } ] }, { "id": "_r_1_2_22_24_147" } ] }, { "id": "_r_1_2_22_79" }, { "id": "_r_1_2_22_80" } ] }, { "id": "_r_1_2_66", "children": [ { "id": "_r_1_2_66_69" }, { "id": "_r_1_2_66_70" } ] }, { "id": "_r_1_2_67", "children": [ { "id": "_r_1_2_67_124" }, { "id": "_r_1_2_67_72" } ] }, { "id": "_r_1_2_7", "children": [ { "id": "_r_1_2_7_10" }, { "id": "_r_1_2_7_100", "children": [ { "id": "_r_1_2_7_100_122" }, { "id": "_r_1_2_7_100_123" } ] }, { "id": "_r_1_2_7_81" } ] } ] }, { "id": "_r_1_5", "children": [ { "id": "_r_1_5_67", "children": [ { "id": "_r_1_5_67_126" }, { "id": "_r_1_5_67_88" }, { "id": "_r_1_5_67_89" } ] }, { "id": "_r_1_5_84", "children": [ { "id": "_r_1_5_84_86" }, { "id": "_r_1_5_84_87" } ] } ] } ] }, { "id": "_r_141", "children": [ { "id": "_r_141_143", "children": [ { "id": "_r_141_143_128", "children": [ { "id": "_r_141_143_128_129" }, { "id": "_r_141_143_128_131" } ] }, { "id": "_r_141_143_133", "children": [ { "id": "_r_141_143_133_133" }, { "id": "_r_141_143_133_134" } ] } ] }, { "id": "_r_141_147", "children": [ { "id": "_r_141_147_149", "children": [ { "id": "_r_141_147_149_141" }, { "id": "_r_141_147_149_142", "children": [ { "id": "_r_141_147_149_142_144" } ] }, { "id": "_r_141_147_149_147" }, { "id": "_r_141_147_149_148" } ] }, { "id": "_r_141_147_150", "children": [ { "id": "_r_141_147_150_140" }, { "id": "_r_141_147_150_146" }, { "id": "_r_141_147_150_149" } ] } ] }, { "id": "_r_141_155", "children": [ { "id": "_r_141_155_161", "children": [ { "id": "_r_141_155_161_150" }, { "id": "_r_141_155_161_151" }, { "id": "_r_141_155_161_154" } ] }, { "id": "_r_141_155_162", "children": [ { "id": "_r_141_155_162_153" }, { "id": "_r_141_155_162_155" } ] } ] }, { "id": "_r_141_166", "children": [ { "id": "_r_141_166_168", "children": [ { "id": "_r_141_166_168_160" }, { "id": "_r_141_166_168_161" }, { "id": "_r_141_166_168_163", "children": [ { "id": "_r_141_166_168_163_164" } ] } ] }, { "id": "_r_141_166_169", "children": [ { "id": "_r_141_166_169_165", "children": [ { "id": "_r_141_166_169_165_167" }, { "id": "_r_141_166_169_165_168" } ] }, { "id": "_r_141_166_169_166", "children": [ { "id": "_r_141_166_169_166_169" } ] }, { "id": "_r_141_166_169_170" } ] } ] }, { "id": "_r_141_173", "children": [ { "id": "_r_141_173_136", "children": [ { "id": "_r_141_173_136_137", "children": [ { "id": "_r_141_173_136_137_134" }, { "id": "_r_141_173_136_137_135" } ] } ] }, { "id": "_r_141_173_143", "children": [ { "id": "_r_141_173_143_144", "children": [ { "id": "_r_141_173_143_144_136" }, { "id": "_r_141_173_143_144_137" } ] } ] } ] }, { "id": "_r_141_187", "children": [ { "id": "_r_141_187_149" }, { "id": "_r_141_187_150" } ] }, { "id": "_r_141_193", "children": [ { "id": "_r_141_193_195" }, { "id": "_r_141_193_196" }, { "id": "_r_141_193_199" }, { "id": "_r_141_193_200" } ] } ] }, { "id": "_r_154", "children": [ { "id": "_r_154_155", "children": [ { "id": "_r_154_155_158", "children": [ { "id": "_r_154_155_158_160" }, { "id": "_r_154_155_158_161" }, { "id": "_r_154_155_158_162" } ] }, { "id": "_r_154_155_163", "children": [ { "id": "_r_154_155_163_164" } ] } ] }, { "id": "_r_154_174", "children": [ { "id": "_r_154_174_175", "children": [ { "id": "_r_154_174_175_177" }, { "id": "_r_154_174_175_178" }, { "id": "_r_154_174_175_179" } ] }, { "id": "_r_154_174_176", "children": [ { "id": "_r_154_174_176_180" } ] } ] } ] }, { "id": "_r_57", "children": [ { "id": "_r_57_63", "children": [ { "id": "_r_57_63_101", "children": [ { "id": "_r_57_63_101_102", "children": [ { "id": "_r_57_63_101_102_126" }, { "id": "_r_57_63_101_102_127" } ] }, { "id": "_r_57_63_101_119", "children": [ { "id": "_r_57_63_101_119_128" }, { "id": "_r_57_63_101_119_129" } ] } ] } ] }, { "id": "_r_57_97", "children": [ { "id": "_r_57_97_98", "children": [ { "id": "_r_57_97_98_120" } ] } ] }, { "id": "_r_57_99", "children": [ { "id": "_r_57_99_100", "children": [ { "id": "_r_57_99_100_121" } ] } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_166_168" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_166_169" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_155_161" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_155_162" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_147_149" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_147_150" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_143_128" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_143_133" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_155_161" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_155_162" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_147_149" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_147_150" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_173_136_137_134" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_173_136_137_135" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_173_136_137_134" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_173_136_137_135" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_57_63_101_119_128" ] }, { "type": "FeatureTerm", "operands": [ "_r_57_63_101_119_129" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_166_168" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_166_169" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_57_63_101_119_128" ] }, { "type": "FeatureTerm", "operands": [ "_r_57_63_101_119_129" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_187_149" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_187_150" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_173_143_144_136" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_173_143_144_137" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_187_149" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_187_150" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_7_100_122" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_2_7_100_123" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_22_24_105_124" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_2_22_24_105_125" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_22_24_105_124" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_2_22_24_105_125" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_173_136_137_134" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_173_136_137_135" ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_173_136_137_134" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_173_136_137_135" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_173_136" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_173_143" ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_173_136" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_173_143" ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_57_63_101_102_126" ] }, { "type": "FeatureTerm", "operands": [ "_r_57_63_101_102_127" ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_143_128" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_143_133" ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_154_155" ] }, { "type": "FeatureTerm", "operands": [ "_r_154_174" ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_57_63_101_102_126" ] }, { "type": "FeatureTerm", "operands": [ "_r_57_63_101_102_127" ] } ] }, "Constraint 25": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_154_155" ] }, { "type": "FeatureTerm", "operands": [ "_r_154_174" ] } ] }, "Constraint 26": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_141_173_143_144_136" ] }, { "type": "FeatureTerm", "operands": [ "_r_141_173_143_144_137" ] } ] }, "Constraint 27": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_7_100_122" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_2_7_100_123" ] } ] } } }