{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_53": { "name": "_r_53", "optional": false, "type": "XOR", "note": "" }, "_r_53_54_55": { "name": "_r_53_54_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_54_76": { "name": "_r_53_54_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_54_77": { "name": "_r_53_54_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_54_78": { "name": "_r_53_54_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_54_80": { "name": "_r_53_54_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_70": { "name": "_r_70", "optional": false, "type": "XOR", "note": "" }, "_r_70_85_86": { "name": "_r_70_85_86", "optional": true, "type": "XOR", "note": "" }, "_r_70_85_86_88_89": { "name": "_r_70_85_86_88_89", "optional": true, "type": "FEATURE", "note": "" }, "_r_70_85_86_88_92": { "name": "_r_70_85_86_88_92", "optional": true, "type": "FEATURE", "note": "" }, "_r_70_85_87": { "name": "_r_70_85_87", "optional": true, "type": "FEATURE", "note": "" }, "_r_81": { "name": "_r_81", "optional": false, "type": "XOR", "note": "" }, "_r_81_123_124": { "name": "_r_81_123_124", "optional": true, "type": "XOR", "note": "" }, "_r_81_123_124_126_127": { "name": "_r_81_123_124_126_127", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_123_124_126_128": { "name": "_r_81_123_124_126_128", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_123_124_126_129": { "name": "_r_81_123_124_126_129", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_123_125": { "name": "_r_81_123_125", "optional": true, "type": "XOR", "note": "" }, "_r_81_123_125_132_133": { "name": "_r_81_123_125_132_133", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_123_125_132_134": { "name": "_r_81_123_125_132_134", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_123_125_132_135": { "name": "_r_81_123_125_132_135", "optional": true, "type": "FEATURE", "note": "" }, "_r_82": { "name": "_r_82", "optional": false, "type": "FEATURE", "note": "" }, "_r_82_100": { "name": "_r_82_100", "optional": false, "type": "XOR", "note": "" }, "_r_82_100_111_112": { "name": "_r_82_100_111_112", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_100_111_113": { "name": "_r_82_100_111_113", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_100_111_114": { "name": "_r_82_100_111_114", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_100_111_115": { "name": "_r_82_100_111_115", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_100_111_116": { "name": "_r_82_100_111_116", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_101": { "name": "_r_82_101", "optional": true, "type": "XOR", "note": "" }, "_r_82_101_120_121": { "name": "_r_82_101_120_121", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_101_120_122": { "name": "_r_82_101_120_122", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_98": { "name": "_r_82_98", "optional": false, "type": "XOR", "note": "" }, "_r_82_98_105_106": { "name": "_r_82_98_105_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_98_105_107": { "name": "_r_82_98_105_107", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_98_105_108": { "name": "_r_82_98_105_108", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_98_105_109": { "name": "_r_82_98_105_109", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_98_105_110": { "name": "_r_82_98_105_110", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_99": { "name": "_r_82_99", "optional": false, "type": "XOR", "note": "" }, "_r_82_99_117_118": { "name": "_r_82_99_117_118", "optional": true, "type": "FEATURE", "note": "" }, "_r_82_99_117_119": { "name": "_r_82_99_117_119", "optional": true, "type": "FEATURE", "note": "" }, "_r_83": { "name": "_r_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_83_93": { "name": "_r_83_93", "optional": false, "type": "OR", "note": "" }, "_r_83_93_95_96": { "name": "_r_83_93_95_96", "optional": true, "type": "FEATURE", "note": "" }, "_r_83_93_95_97": { "name": "_r_83_93_95_97", "optional": true, "type": "FEATURE", "note": "" }, "_r_83_94": { "name": "_r_83_94", "optional": false, "type": "XOR", "note": "" }, "_r_83_94_140_141": { "name": "_r_83_94_140_141", "optional": true, "type": "FEATURE", "note": "" }, "_r_83_94_140_142": { "name": "_r_83_94_140_142", "optional": true, "type": "FEATURE", "note": "" }, "_r_83_94_140_143": { "name": "_r_83_94_140_143", "optional": true, "type": "FEATURE", "note": "" }, "_r_84": { "name": "_r_84", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_53", "children": [ { "id": "_r_53_54_55" }, { "id": "_r_53_54_76" }, { "id": "_r_53_54_77" }, { "id": "_r_53_54_78" }, { "id": "_r_53_54_80" } ] }, { "id": "_r_70", "children": [ { "id": "_r_70_85_86", "children": [ { "id": "_r_70_85_86_88_89" }, { "id": "_r_70_85_86_88_92" } ] }, { "id": "_r_70_85_87" } ] }, { "id": "_r_81", "children": [ { "id": "_r_81_123_124", "children": [ { "id": "_r_81_123_124_126_127" }, { "id": "_r_81_123_124_126_128" }, { "id": "_r_81_123_124_126_129" } ] }, { "id": "_r_81_123_125", "children": [ { "id": "_r_81_123_125_132_133" }, { "id": "_r_81_123_125_132_134" }, { "id": "_r_81_123_125_132_135" } ] } ] }, { "id": "_r_82", "children": [ { "id": "_r_82_100", "children": [ { "id": "_r_82_100_111_112" }, { "id": "_r_82_100_111_113" }, { "id": "_r_82_100_111_114" }, { "id": "_r_82_100_111_115" }, { "id": "_r_82_100_111_116" } ] }, { "id": "_r_82_101", "children": [ { "id": "_r_82_101_120_121" }, { "id": "_r_82_101_120_122" } ] }, { "id": "_r_82_98", "children": [ { "id": "_r_82_98_105_106" }, { "id": "_r_82_98_105_107" }, { "id": "_r_82_98_105_108" }, { "id": "_r_82_98_105_109" }, { "id": "_r_82_98_105_110" } ] }, { "id": "_r_82_99", "children": [ { "id": "_r_82_99_117_118" }, { "id": "_r_82_99_117_119" } ] } ] }, { "id": "_r_83", "children": [ { "id": "_r_83_93", "children": [ { "id": "_r_83_93_95_96" }, { "id": "_r_83_93_95_97" } ] }, { "id": "_r_83_94", "children": [ { "id": "_r_83_94_140_141" }, { "id": "_r_83_94_140_142" }, { "id": "_r_83_94_140_143" } ] } ] }, { "id": "_r_84" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_77" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_124_126_129" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_76" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_125_132_135" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_80" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_124_126_129" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_77" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_125_132_135" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_80" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_125_132_135" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_86_88_92" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_83_93_95_96" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_86_88_92" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_83_93_95_97" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_80" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_86_88_92" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_55" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_124_126_129" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_78" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_125_132_134" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_87" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_82_98_105_107" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_87" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_82_98_105_106" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_87" ] }, { "type": "FeatureTerm", "operands": [ "_r_81_123_125" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_78" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_125_132_133" ] } ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_87" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_82_100_111_114" ] } ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_87" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_82_100_111_113" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_87" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_82_100_111_112" ] } ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_87" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_82_98_105_108" ] } ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_78" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_124_126_127" ] } ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_78" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_124_126_128" ] } ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_55" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_125_132_135" ] } ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_54_76" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_124_126_129" ] } ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_86" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_82_100_111_115" ] } ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_86" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_82_98_105_110" ] } ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_86_88_92" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_123_125" ] } ] } ] }, "Constraint 25": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_86" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_82_100_111_116" ] } ] } ] }, "Constraint 26": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_70_85_86" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_82_98_105_109" ] } ] } ] } } }