{ "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_101": { "name": "_r_101", "optional": false, "type": "XOR", "note": "" }, "_r_101_102_103": { "name": "_r_101_102_103", "optional": true, "type": "FEATURE", "note": "" }, "_r_101_102_104": { "name": "_r_101_102_104", "optional": true, "type": "FEATURE", "note": "" }, "_r_105": { "name": "_r_105", "optional": true, "type": "FEATURE", "note": "" }, "_r_106": { "name": "_r_106", "optional": true, "type": "FEATURE", "note": "" }, "_r_18": { "name": "_r_18", "optional": true, "type": "XOR", "note": "" }, "_r_18_21_22": { "name": "_r_18_21_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_21_23": { "name": "_r_18_21_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_5": { "name": "_r_1_4_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_6": { "name": "_r_1_4_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_24": { "name": "_r_24", "optional": false, "type": "XOR", "note": "" }, "_r_24_25_26": { "name": "_r_24_25_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_24_25_27": { "name": "_r_24_25_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_28": { "name": "_r_28", "optional": false, "type": "XOR", "note": "" }, "_r_28_29_30": { "name": "_r_28_29_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_29_31": { "name": "_r_28_29_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_29_32": { "name": "_r_28_29_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_33": { "name": "_r_33", "optional": true, "type": "XOR", "note": "" }, "_r_33_34_35": { "name": "_r_33_34_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_34_36": { "name": "_r_33_34_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_37": { "name": "_r_37", "optional": false, "type": "XOR", "note": "" }, "_r_37_38_39": { "name": "_r_37_38_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_37_38_40": { "name": "_r_37_38_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_37_38_41": { "name": "_r_37_38_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_42": { "name": "_r_42", "optional": false, "type": "XOR", "note": "" }, "_r_42_43_44": { "name": "_r_42_43_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_42_43_45": { "name": "_r_42_43_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_46": { "name": "_r_46", "optional": false, "type": "XOR", "note": "" }, "_r_46_47_48": { "name": "_r_46_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47_49": { "name": "_r_46_47_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_50": { "name": "_r_50", "optional": false, "type": "XOR", "note": "" }, "_r_50_51_52": { "name": "_r_50_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_50_51_53": { "name": "_r_50_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_54": { "name": "_r_54", "optional": false, "type": "OR", "note": "" }, "_r_54_57": { "name": "_r_54_57", "optional": false, "type": "FEATURE", "note": "" }, "_r_54_58_59": { "name": "_r_54_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_58_60": { "name": "_r_54_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_61": { "name": "_r_61", "optional": false, "type": "XOR", "note": "" }, "_r_61_62_63": { "name": "_r_61_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_62_64": { "name": "_r_61_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_62_65": { "name": "_r_61_62_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_66": { "name": "_r_66", "optional": false, "type": "XOR", "note": "" }, "_r_66_67_68": { "name": "_r_66_67_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_66_67_69": { "name": "_r_66_67_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_66_67_70": { "name": "_r_66_67_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_66_67_71": { "name": "_r_66_67_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_7": { "name": "_r_7", "optional": false, "type": "XOR", "note": "" }, "_r_72": { "name": "_r_72", "optional": true, "type": "XOR", "note": "" }, "_r_72_73_74": { "name": "_r_72_73_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_72_73_75": { "name": "_r_72_73_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_76": { "name": "_r_76", "optional": false, "type": "XOR", "note": "" }, "_r_76_77_78": { "name": "_r_76_77_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_76_77_79": { "name": "_r_76_77_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_76_77_80": { "name": "_r_76_77_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_13_14": { "name": "_r_7_13_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_13_15": { "name": "_r_7_13_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_13_16": { "name": "_r_7_13_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_13_17": { "name": "_r_7_13_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_81": { "name": "_r_81", "optional": true, "type": "XOR", "note": "" }, "_r_81_82_83": { "name": "_r_81_82_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_82_84": { "name": "_r_81_82_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_85": { "name": "_r_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_86": { "name": "_r_86", "optional": true, "type": "FEATURE", "note": "" }, "_r_90": { "name": "_r_90", "optional": true, "type": "OR", "note": "" }, "_r_90_91_92": { "name": "_r_90_91_92", "optional": true, "type": "FEATURE", "note": "" }, "_r_90_91_93": { "name": "_r_90_91_93", "optional": true, "type": "FEATURE", "note": "" }, "_r_90_91_94": { "name": "_r_90_91_94", "optional": true, "type": "FEATURE", "note": "" }, "_r_95": { "name": "_r_95", "optional": true, "type": "OR", "note": "" }, "_r_95_98_100": { "name": "_r_95_98_100", "optional": true, "type": "FEATURE", "note": "" }, "_r_95_98_99": { "name": "_r_95_98_99", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_4_5" }, { "id": "_r_1_4_6" } ] }, { "id": "_r_101", "children": [ { "id": "_r_101_102_103" }, { "id": "_r_101_102_104" } ] }, { "id": "_r_105" }, { "id": "_r_106" }, { "id": "_r_18", "children": [ { "id": "_r_18_21_22" }, { "id": "_r_18_21_23" } ] }, { "id": "_r_24", "children": [ { "id": "_r_24_25_26" }, { "id": "_r_24_25_27" } ] }, { "id": "_r_28", "children": [ { "id": "_r_28_29_30" }, { "id": "_r_28_29_31" }, { "id": "_r_28_29_32" } ] }, { "id": "_r_33", "children": [ { "id": "_r_33_34_35" }, { "id": "_r_33_34_36" } ] }, { "id": "_r_37", "children": [ { "id": "_r_37_38_39" }, { "id": "_r_37_38_40" }, { "id": "_r_37_38_41" } ] }, { "id": "_r_42", "children": [ { "id": "_r_42_43_44" }, { "id": "_r_42_43_45" } ] }, { "id": "_r_46", "children": [ { "id": "_r_46_47_48" }, { "id": "_r_46_47_49" } ] }, { "id": "_r_50", "children": [ { "id": "_r_50_51_52" }, { "id": "_r_50_51_53" } ] }, { "id": "_r_54", "children": [ { "id": "_r_54_57" }, { "id": "_r_54_58_59" }, { "id": "_r_54_58_60" } ] }, { "id": "_r_61", "children": [ { "id": "_r_61_62_63" }, { "id": "_r_61_62_64" }, { "id": "_r_61_62_65" } ] }, { "id": "_r_66", "children": [ { "id": "_r_66_67_68" }, { "id": "_r_66_67_69" }, { "id": "_r_66_67_70" }, { "id": "_r_66_67_71" } ] }, { "id": "_r_7", "children": [ { "id": "_r_7_13_14" }, { "id": "_r_7_13_15" }, { "id": "_r_7_13_16" }, { "id": "_r_7_13_17" } ] }, { "id": "_r_72", "children": [ { "id": "_r_72_73_74" }, { "id": "_r_72_73_75" } ] }, { "id": "_r_76", "children": [ { "id": "_r_76_77_78" }, { "id": "_r_76_77_79" }, { "id": "_r_76_77_80" } ] }, { "id": "_r_81", "children": [ { "id": "_r_81_82_83" }, { "id": "_r_81_82_84" } ] }, { "id": "_r_85" }, { "id": "_r_86" }, { "id": "_r_90", "children": [ { "id": "_r_90_91_92" }, { "id": "_r_90_91_93" }, { "id": "_r_90_91_94" } ] }, { "id": "_r_95", "children": [ { "id": "_r_95_98_100" }, { "id": "_r_95_98_99" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29_32" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_35" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_37_38_39" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_85" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_37_38_40" ] }, { "type": "FeatureTerm", "operands": [ "_r_90_91_94" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29_32" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_35" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_54_58_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_106" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_13_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_21_22" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_37_38_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_66_67_71" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29_31" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_36" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_18_21_23" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29_30" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_36" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_13_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_18_21_22" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_101_102_104" ] }, { "type": "FeatureTerm", "operands": [ "_r_105" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_37_38_39" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_85" ] } ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29_30" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_35" ] } ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29_31" ] }, { "type": "FeatureTerm", "operands": [ "_r_33_34_35" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_13_14" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29_32" ] }, { "type": "FeatureTerm", "operands": [ "_r_33_34_36" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_13_15" ] } ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_13_16" ] } ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29_31" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_36" ] } ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_13_17" ] } ] } ] } } }