{ "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_13": { "name": "_r_13", "optional": false, "type": "OR", "note": "" }, "_r_13_16_17": { "name": "_r_13_16_17", "optional": true, "type": "XOR", "note": "" }, "_r_13_16_17_46_47": { "name": "_r_13_16_17_46_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_16_17_46_48": { "name": "_r_13_16_17_46_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_16_17_46_49": { "name": "_r_13_16_17_46_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_16_18": { "name": "_r_13_16_18", "optional": true, "type": "XOR", "note": "" }, "_r_13_16_18_50_51": { "name": "_r_13_16_18_50_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_16_18_50_52": { "name": "_r_13_16_18_50_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_16_18_50_53": { "name": "_r_13_16_18_50_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_42_43": { "name": "_r_1_42_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_42_44": { "name": "_r_1_42_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_42_45": { "name": "_r_1_42_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "XOR", "note": "" }, "_r_27": { "name": "_r_27", "optional": false, "type": "FEATURE", "note": "" }, "_r_27_29": { "name": "_r_27_29", "optional": false, "type": "OR", "note": "" }, "_r_27_29_56_57": { "name": "_r_27_29_56_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_29_56_58": { "name": "_r_27_29_56_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_29_56_59": { "name": "_r_27_29_56_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_29_56_60": { "name": "_r_27_29_56_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_29_56_61": { "name": "_r_27_29_56_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_30": { "name": "_r_27_30", "optional": false, "type": "XOR", "note": "" }, "_r_27_30_68_69": { "name": "_r_27_30_68_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_30_68_70": { "name": "_r_27_30_68_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_31": { "name": "_r_27_31", "optional": false, "type": "OR", "note": "" }, "_r_27_31_62_63": { "name": "_r_27_31_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_31_62_64": { "name": "_r_27_31_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_31_62_65": { "name": "_r_27_31_62_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_31_62_66": { "name": "_r_27_31_62_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_31_62_67": { "name": "_r_27_31_62_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_33": { "name": "_r_27_33", "optional": true, "type": "XOR", "note": "" }, "_r_27_33_71_72": { "name": "_r_27_33_71_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_33_71_73": { "name": "_r_27_33_71_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_36_37": { "name": "_r_2_36_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_36_38": { "name": "_r_2_36_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_36_39": { "name": "_r_2_36_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_36_40": { "name": "_r_2_36_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_36_41": { "name": "_r_2_36_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_74": { "name": "_r_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_76": { "name": "_r_74_76", "optional": false, "type": "FEATURE", "note": "" }, "_r_74_76_85": { "name": "_r_74_76_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_76_86": { "name": "_r_74_76_86", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_77": { "name": "_r_74_77", "optional": false, "type": "XOR", "note": "" }, "_r_74_77_81_82": { "name": "_r_74_77_81_82", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_77_81_83": { "name": "_r_74_77_81_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_77_81_84": { "name": "_r_74_77_81_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_75": { "name": "_r_75", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_42_43" }, { "id": "_r_1_42_44" }, { "id": "_r_1_42_45" } ] }, { "id": "_r_13", "children": [ { "id": "_r_13_16_17", "children": [ { "id": "_r_13_16_17_46_47" }, { "id": "_r_13_16_17_46_48" }, { "id": "_r_13_16_17_46_49" } ] }, { "id": "_r_13_16_18", "children": [ { "id": "_r_13_16_18_50_51" }, { "id": "_r_13_16_18_50_52" }, { "id": "_r_13_16_18_50_53" } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_36_37" }, { "id": "_r_2_36_38" }, { "id": "_r_2_36_39" }, { "id": "_r_2_36_40" }, { "id": "_r_2_36_41" } ] }, { "id": "_r_27", "children": [ { "id": "_r_27_29", "children": [ { "id": "_r_27_29_56_57" }, { "id": "_r_27_29_56_58" }, { "id": "_r_27_29_56_59" }, { "id": "_r_27_29_56_60" }, { "id": "_r_27_29_56_61" } ] }, { "id": "_r_27_30", "children": [ { "id": "_r_27_30_68_69" }, { "id": "_r_27_30_68_70" } ] }, { "id": "_r_27_31", "children": [ { "id": "_r_27_31_62_63" }, { "id": "_r_27_31_62_64" }, { "id": "_r_27_31_62_65" }, { "id": "_r_27_31_62_66" }, { "id": "_r_27_31_62_67" } ] }, { "id": "_r_27_33", "children": [ { "id": "_r_27_33_71_72" }, { "id": "_r_27_33_71_73" } ] } ] }, { "id": "_r_74", "children": [ { "id": "_r_74_76", "children": [ { "id": "_r_74_76_85" }, { "id": "_r_74_76_86" } ] }, { "id": "_r_74_77", "children": [ { "id": "_r_74_77_81_82" }, { "id": "_r_74_77_81_83" }, { "id": "_r_74_77_81_84" } ] } ] }, { "id": "_r_75" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_36_40" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_16_18_50_52" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_31_62_64" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_16_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_29_56_60" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_29_56_58" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_45" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_31_62_67" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_29_56_57" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_45" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_29_56_61" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_31_62_65" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_29_56_59" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_29_56_58" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_29_56_57" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_29_56_59" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_31_62_65" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_31_62_63" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_36_40" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_16_17_46_49" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_45" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_31_62_66" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_74" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_36_41" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_44" ] } ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_31_62_63" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_31_62_64" ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_16_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_44" ] } ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_44" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_74_76_85" ] } ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_16_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_43" ] } ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_42_44" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_74_76_86" ] } ] } ] } } }