{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_10": { "name": "_r_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_153": { "name": "_r_10_153", "optional": false, "type": "XOR", "note": "" }, "_r_10_153_154_155": { "name": "_r_10_153_154_155", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_153_154_156": { "name": "_r_10_153_154_156", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_153_154_157": { "name": "_r_10_153_154_157", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_158": { "name": "_r_10_158", "optional": false, "type": "XOR", "note": "" }, "_r_10_158_159_160": { "name": "_r_10_158_159_160", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_158_159_161": { "name": "_r_10_158_159_161", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_158_159_162": { "name": "_r_10_158_159_162", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_163": { "name": "_r_10_163", "optional": true, "type": "XOR", "note": "" }, "_r_10_163_164_165": { "name": "_r_10_163_164_165", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_163_164_166": { "name": "_r_10_163_164_166", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_163_164_167": { "name": "_r_10_163_164_167", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_163_164_168": { "name": "_r_10_163_164_168", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_163_164_169": { "name": "_r_10_163_164_169", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_163_164_171": { "name": "_r_10_163_164_171", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_172": { "name": "_r_10_172", "optional": true, "type": "OR", "note": "" }, "_r_10_172_173_174": { "name": "_r_10_172_173_174", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_172_173_175": { "name": "_r_10_172_173_175", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_172_173_176": { "name": "_r_10_172_173_176", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_172_173_177": { "name": "_r_10_172_173_177", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_180": { "name": "_r_10_180", "optional": true, "type": "OR", "note": "" }, "_r_10_180_181_182": { "name": "_r_10_180_181_182", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_180_181_183": { "name": "_r_10_180_181_183", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_180_181_184": { "name": "_r_10_180_181_184", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_180_181_185": { "name": "_r_10_180_181_185", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_180_181_186": { "name": "_r_10_180_181_186", "optional": true, "type": "FEATURE", "note": "" }, "_r_10_180_181_187": { "name": "_r_10_180_181_187", "optional": true, "type": "FEATURE", "note": "" }, "_r_11": { "name": "_r_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_114": { "name": "_r_11_114", "optional": false, "type": "XOR", "note": "" }, "_r_11_114_116_117": { "name": "_r_11_114_116_117", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_114_116_118": { "name": "_r_11_114_116_118", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_114_116_119": { "name": "_r_11_114_116_119", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115": { "name": "_r_11_115", "optional": false, "type": "XOR", "note": "" }, "_r_11_115_133_134": { "name": "_r_11_115_133_134", "optional": true, "type": "XOR", "note": "" }, "_r_11_115_133_134_137_138": { "name": "_r_11_115_133_134_137_138", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_134_137_139": { "name": "_r_11_115_133_134_137_139", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_135": { "name": "_r_11_115_133_135", "optional": true, "type": "XOR", "note": "" }, "_r_11_115_133_135_140_141": { "name": "_r_11_115_133_135_140_141", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_135_140_142": { "name": "_r_11_115_133_135_140_142", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_135_140_143": { "name": "_r_11_115_133_135_140_143", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_135_140_144": { "name": "_r_11_115_133_135_140_144", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_135_140_148": { "name": "_r_11_115_133_135_140_148", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_136": { "name": "_r_11_115_133_136", "optional": true, "type": "XOR", "note": "" }, "_r_11_115_133_136_145_146": { "name": "_r_11_115_133_136_145_146", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_136_145_147": { "name": "_r_11_115_133_136_145_147", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_136_145_149": { "name": "_r_11_115_133_136_145_149", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_136_145_150": { "name": "_r_11_115_133_136_145_150", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_136_145_151": { "name": "_r_11_115_133_136_145_151", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_115_133_136_145_152": { "name": "_r_11_115_133_136_145_152", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_14": { "name": "_r_4_14", "optional": false, "type": "XOR", "note": "" }, "_r_4_14_23_24": { "name": "_r_4_14_23_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_14_23_27": { "name": "_r_4_14_23_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_14_23_30": { "name": "_r_4_14_23_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_15": { "name": "_r_4_15", "optional": false, "type": "OR", "note": "" }, "_r_4_15_33_34": { "name": "_r_4_15_33_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_15_33_35": { "name": "_r_4_15_33_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_15_33_36": { "name": "_r_4_15_33_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_15_33_37": { "name": "_r_4_15_33_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_15_33_38": { "name": "_r_4_15_33_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_15_33_39": { "name": "_r_4_15_33_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_15_33_40": { "name": "_r_4_15_33_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_17": { "name": "_r_4_17", "optional": true, "type": "XOR", "note": "" }, "_r_4_17_102_103": { "name": "_r_4_17_102_103", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_17_102_104": { "name": "_r_4_17_102_104", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_17_102_105": { "name": "_r_4_17_102_105", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_18": { "name": "_r_4_18", "optional": true, "type": "OR", "note": "" }, "_r_4_18_108_109": { "name": "_r_4_18_108_109", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_18_108_110": { "name": "_r_4_18_108_110", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_18_108_111": { "name": "_r_4_18_108_111", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": true, "type": "XOR", "note": "" }, "_r_5_188_189": { "name": "_r_5_188_189", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_188_190": { "name": "_r_5_188_190", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_188_191": { "name": "_r_5_188_191", "optional": true, "type": "FEATURE", "note": "" }, "_r_9": { "name": "_r_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_198": { "name": "_r_9_198", "optional": false, "type": "XOR", "note": "" }, "_r_9_198_199_200": { "name": "_r_9_198_199_200", "optional": true, "type": "XOR", "note": "" }, "_r_9_198_199_200_202_203": { "name": "_r_9_198_199_200_202_203", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_198_199_200_202_204": { "name": "_r_9_198_199_200_202_204", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_198_199_200_202_205": { "name": "_r_9_198_199_200_202_205", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_198_199_200_202_206": { "name": "_r_9_198_199_200_202_206", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_198_199_201": { "name": "_r_9_198_199_201", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_198_199_201_209": { "name": "_r_9_198_199_201_209", "optional": false, "type": "XOR", "note": "" }, "_r_9_198_199_201_209_211_212": { "name": "_r_9_198_199_201_209_211_212", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_198_199_201_209_211_213": { "name": "_r_9_198_199_201_209_211_213", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_198_199_201_209_211_214": { "name": "_r_9_198_199_201_209_211_214", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_198_199_201_210": { "name": "_r_9_198_199_201_210", "optional": false, "type": "XOR", "note": "" }, "_r_9_198_199_201_210_215_216": { "name": "_r_9_198_199_201_210_215_216", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_198_199_201_210_215_217": { "name": "_r_9_198_199_201_210_215_217", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_198_199_201_210_215_218": { "name": "_r_9_198_199_201_210_215_218", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_45": { "name": "_r_9_45", "optional": false, "type": "XOR", "note": "" }, "_r_9_45_50_51": { "name": "_r_9_45_50_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_45_50_52": { "name": "_r_9_45_50_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_45_50_53": { "name": "_r_9_45_50_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_55": { "name": "_r_9_55", "optional": true, "type": "XOR", "note": "" }, "_r_9_55_61_62": { "name": "_r_9_55_61_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_55_61_63": { "name": "_r_9_55_61_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_55_61_64": { "name": "_r_9_55_61_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_56": { "name": "_r_9_56", "optional": false, "type": "XOR", "note": "" }, "_r_9_56_57_58": { "name": "_r_9_56_57_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_9_56_57_59": { "name": "_r_9_56_57_59", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_10", "children": [ { "id": "_r_10_153", "children": [ { "id": "_r_10_153_154_155" }, { "id": "_r_10_153_154_156" }, { "id": "_r_10_153_154_157" } ] }, { "id": "_r_10_158", "children": [ { "id": "_r_10_158_159_160" }, { "id": "_r_10_158_159_161" }, { "id": "_r_10_158_159_162" } ] }, { "id": "_r_10_163", "children": [ { "id": "_r_10_163_164_165" }, { "id": "_r_10_163_164_166" }, { "id": "_r_10_163_164_167" }, { "id": "_r_10_163_164_168" }, { "id": "_r_10_163_164_169" }, { "id": "_r_10_163_164_171" } ] }, { "id": "_r_10_172", "children": [ { "id": "_r_10_172_173_174" }, { "id": "_r_10_172_173_175" }, { "id": "_r_10_172_173_176" }, { "id": "_r_10_172_173_177" } ] }, { "id": "_r_10_180", "children": [ { "id": "_r_10_180_181_182" }, { "id": "_r_10_180_181_183" }, { "id": "_r_10_180_181_184" }, { "id": "_r_10_180_181_185" }, { "id": "_r_10_180_181_186" }, { "id": "_r_10_180_181_187" } ] } ] }, { "id": "_r_11", "children": [ { "id": "_r_11_114", "children": [ { "id": "_r_11_114_116_117" }, { "id": "_r_11_114_116_118" }, { "id": "_r_11_114_116_119" } ] }, { "id": "_r_11_115", "children": [ { "id": "_r_11_115_133_134", "children": [ { "id": "_r_11_115_133_134_137_138" }, { "id": "_r_11_115_133_134_137_139" } ] }, { "id": "_r_11_115_133_135", "children": [ { "id": "_r_11_115_133_135_140_141" }, { "id": "_r_11_115_133_135_140_142" }, { "id": "_r_11_115_133_135_140_143" }, { "id": "_r_11_115_133_135_140_144" }, { "id": "_r_11_115_133_135_140_148" } ] }, { "id": "_r_11_115_133_136", "children": [ { "id": "_r_11_115_133_136_145_146" }, { "id": "_r_11_115_133_136_145_147" }, { "id": "_r_11_115_133_136_145_149" }, { "id": "_r_11_115_133_136_145_150" }, { "id": "_r_11_115_133_136_145_151" }, { "id": "_r_11_115_133_136_145_152" } ] } ] } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_14", "children": [ { "id": "_r_4_14_23_24" }, { "id": "_r_4_14_23_27" }, { "id": "_r_4_14_23_30" } ] }, { "id": "_r_4_15", "children": [ { "id": "_r_4_15_33_34" }, { "id": "_r_4_15_33_35" }, { "id": "_r_4_15_33_36" }, { "id": "_r_4_15_33_37" }, { "id": "_r_4_15_33_38" }, { "id": "_r_4_15_33_39" }, { "id": "_r_4_15_33_40" } ] }, { "id": "_r_4_17", "children": [ { "id": "_r_4_17_102_103" }, { "id": "_r_4_17_102_104" }, { "id": "_r_4_17_102_105" } ] }, { "id": "_r_4_18", "children": [ { "id": "_r_4_18_108_109" }, { "id": "_r_4_18_108_110" }, { "id": "_r_4_18_108_111" } ] } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_188_189" }, { "id": "_r_5_188_190" }, { "id": "_r_5_188_191" } ] }, { "id": "_r_9", "children": [ { "id": "_r_9_198", "children": [ { "id": "_r_9_198_199_200", "children": [ { "id": "_r_9_198_199_200_202_203" }, { "id": "_r_9_198_199_200_202_204" }, { "id": "_r_9_198_199_200_202_205" }, { "id": "_r_9_198_199_200_202_206" } ] }, { "id": "_r_9_198_199_201", "children": [ { "id": "_r_9_198_199_201_209", "children": [ { "id": "_r_9_198_199_201_209_211_212" }, { "id": "_r_9_198_199_201_209_211_213" }, { "id": "_r_9_198_199_201_209_211_214" } ] }, { "id": "_r_9_198_199_201_210", "children": [ { "id": "_r_9_198_199_201_210_215_216" }, { "id": "_r_9_198_199_201_210_215_217" }, { "id": "_r_9_198_199_201_210_215_218" } ] } ] } ] }, { "id": "_r_9_45", "children": [ { "id": "_r_9_45_50_51" }, { "id": "_r_9_45_50_52" }, { "id": "_r_9_45_50_53" } ] }, { "id": "_r_9_55", "children": [ { "id": "_r_9_55_61_62" }, { "id": "_r_9_55_61_63" }, { "id": "_r_9_55_61_64" } ] }, { "id": "_r_9_56", "children": [ { "id": "_r_9_56_57_58" }, { "id": "_r_9_56_57_59" } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_55" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_188_190" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_56_57_59" ] }, { "type": "FeatureTerm", "operands": [ "_r_5_188_190" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_114_116_118" ] }, { "type": "FeatureTerm", "operands": [ "_r_5_188_190" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_188_190" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_115_133_135" ] }, { "type": "FeatureTerm", "operands": [ "_r_5_188_190" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_188_190" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_5_188_190" ] }, { "type": "FeatureTerm", "operands": [ "_r_9_198_199_200" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9" ] }, { "type": "FeatureTerm", "operands": [ "_r_5_188_190" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9_45_50_52" ] }, { "type": "FeatureTerm", "operands": [ "_r_5_188_190" ] } ] } } }