{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "XOR", "note": "" }, "_r_12": { "name": "_r_12", "optional": false, "type": "XOR", "note": "" }, "_r_12_20_21": { "name": "_r_12_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_20_22": { "name": "_r_12_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_20_23": { "name": "_r_12_20_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_20_24": { "name": "_r_12_20_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_20_25": { "name": "_r_12_20_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_8_10": { "name": "_r_1_8_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_8_11": { "name": "_r_1_8_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_8_9": { "name": "_r_1_8_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_26": { "name": "_r_26", "optional": false, "type": "XOR", "note": "" }, "_r_26_27_28": { "name": "_r_26_27_28", "optional": true, "type": "XOR", "note": "" }, "_r_26_27_28_30_31": { "name": "_r_26_27_28_30_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_28_30_32": { "name": "_r_26_27_28_30_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_28_30_33": { "name": "_r_26_27_28_30_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_29": { "name": "_r_26_27_29", "optional": true, "type": "XOR", "note": "" }, "_r_26_27_29_34_35": { "name": "_r_26_27_29_34_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_29_34_36": { "name": "_r_26_27_29_34_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_29_34_37": { "name": "_r_26_27_29_34_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_38": { "name": "_r_38", "optional": false, "type": "FEATURE", "note": "" }, "_r_38_39": { "name": "_r_38_39", "optional": false, "type": "XOR", "note": "" }, "_r_38_39_63_64": { "name": "_r_38_39_63_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_63_65": { "name": "_r_38_39_63_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_63_66": { "name": "_r_38_39_63_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_63_67": { "name": "_r_38_39_63_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_63_68": { "name": "_r_38_39_63_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_40": { "name": "_r_38_40", "optional": false, "type": "XOR", "note": "" }, "_r_38_40_55_56": { "name": "_r_38_40_55_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_40_55_57": { "name": "_r_38_40_55_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_41": { "name": "_r_38_41", "optional": false, "type": "XOR", "note": "" }, "_r_38_41_49_50": { "name": "_r_38_41_49_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_41_49_51": { "name": "_r_38_41_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_41_49_52": { "name": "_r_38_41_49_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_41_49_53": { "name": "_r_38_41_49_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_41_49_54": { "name": "_r_38_41_49_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_42": { "name": "_r_38_42", "optional": true, "type": "XOR", "note": "" }, "_r_38_42_58_59": { "name": "_r_38_42_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_42_58_60": { "name": "_r_38_42_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_61": { "name": "_r_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_69": { "name": "_r_61_69", "optional": false, "type": "OR", "note": "" }, "_r_61_69_71_72": { "name": "_r_61_69_71_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_69_71_73": { "name": "_r_61_69_71_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_70": { "name": "_r_61_70", "optional": false, "type": "XOR", "note": "" }, "_r_61_70_74_75": { "name": "_r_61_70_74_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_70_74_76": { "name": "_r_61_70_74_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_70_74_77": { "name": "_r_61_70_74_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_62": { "name": "_r_62", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_8_10" }, { "id": "_r_1_8_11" }, { "id": "_r_1_8_9" } ] }, { "id": "_r_12", "children": [ { "id": "_r_12_20_21" }, { "id": "_r_12_20_22" }, { "id": "_r_12_20_23" }, { "id": "_r_12_20_24" }, { "id": "_r_12_20_25" } ] }, { "id": "_r_26", "children": [ { "id": "_r_26_27_28", "children": [ { "id": "_r_26_27_28_30_31" }, { "id": "_r_26_27_28_30_32" }, { "id": "_r_26_27_28_30_33" } ] }, { "id": "_r_26_27_29", "children": [ { "id": "_r_26_27_29_34_35" }, { "id": "_r_26_27_29_34_36" }, { "id": "_r_26_27_29_34_37" } ] } ] }, { "id": "_r_38", "children": [ { "id": "_r_38_39", "children": [ { "id": "_r_38_39_63_64" }, { "id": "_r_38_39_63_65" }, { "id": "_r_38_39_63_66" }, { "id": "_r_38_39_63_67" }, { "id": "_r_38_39_63_68" } ] }, { "id": "_r_38_40", "children": [ { "id": "_r_38_40_55_56" }, { "id": "_r_38_40_55_57" } ] }, { "id": "_r_38_41", "children": [ { "id": "_r_38_41_49_50" }, { "id": "_r_38_41_49_51" }, { "id": "_r_38_41_49_52" }, { "id": "_r_38_41_49_53" }, { "id": "_r_38_41_49_54" } ] }, { "id": "_r_38_42", "children": [ { "id": "_r_38_42_58_59" }, { "id": "_r_38_42_58_60" } ] } ] }, { "id": "_r_61", "children": [ { "id": "_r_61_69", "children": [ { "id": "_r_61_69_71_72" }, { "id": "_r_61_69_71_73" } ] }, { "id": "_r_61_70", "children": [ { "id": "_r_61_70_74_75" }, { "id": "_r_61_70_74_76" }, { "id": "_r_61_70_74_77" } ] } ] }, { "id": "_r_62" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_41_49_52" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_41_49_50" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_29" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_39_63_66" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_29" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_41_49_51" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_20_24" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_28_30_32" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_41_49_54" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_20_24" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_29_34_35" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_41_49_53" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_41_49_54" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_39_63_67" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_20_24" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_28_30_31" ] } ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_41_49_53" ] } ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_39_63_68" ] } ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_39_63_64" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_61" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_39_63_67" ] } ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_39_63_65" ] } ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_39_63_68" ] } ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_20_24" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_29_34_36" ] } ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_26_27_29" ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_8_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_20_25" ] } ] } ] } } }