{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_11": { "name": "_r_11", "optional": false, "type": "XOR", "note": "" }, "_r_11_20_21": { "name": "_r_11_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_20_22": { "name": "_r_11_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_20_23": { "name": "_r_11_20_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_20_24": { "name": "_r_11_20_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_20_25": { "name": "_r_11_20_25", "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_29_30": { "name": "_r_26_27_28_29_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_28_29_31": { "name": "_r_26_27_28_29_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_28_29_32": { "name": "_r_26_27_28_29_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_33": { "name": "_r_26_27_33", "optional": true, "type": "XOR", "note": "" }, "_r_26_27_33_34_35": { "name": "_r_26_27_33_34_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_33_34_36": { "name": "_r_26_27_33_34_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_26_27_33_34_37": { "name": "_r_26_27_33_34_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_38": { "name": "_r_38", "optional": false, "type": "FEATURE", "note": "" }, "_r_38_40": { "name": "_r_38_40", "optional": false, "type": "XOR", "note": "" }, "_r_38_40_84_85": { "name": "_r_38_40_84_85", "optional": true, "type": "XOR", "note": "" }, "_r_38_40_84_85_89_90": { "name": "_r_38_40_84_85_89_90", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_40_84_85_89_91": { "name": "_r_38_40_84_85_89_91", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_40_84_85_89_92": { "name": "_r_38_40_84_85_89_92", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_40_84_88": { "name": "_r_38_40_84_88", "optional": true, "type": "XOR", "note": "" }, "_r_38_40_84_88_93_94": { "name": "_r_38_40_84_88_93_94", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_40_84_88_93_95": { "name": "_r_38_40_84_88_93_95", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_51": { "name": "_r_38_51", "optional": false, "type": "XOR", "note": "" }, "_r_38_51_52_53": { "name": "_r_38_51_52_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_51_52_54": { "name": "_r_38_51_52_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_55": { "name": "_r_38_55", "optional": false, "type": "XOR", "note": "" }, "_r_38_55_56_96": { "name": "_r_38_55_56_96", "optional": true, "type": "XOR", "note": "" }, "_r_38_55_56_96_98_100": { "name": "_r_38_55_56_96_98_100", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_55_56_96_98_101": { "name": "_r_38_55_56_96_98_101", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_55_56_96_98_99": { "name": "_r_38_55_56_96_98_99", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_55_56_97": { "name": "_r_38_55_56_97", "optional": true, "type": "XOR", "note": "" }, "_r_38_55_56_97_102_103": { "name": "_r_38_55_56_97_102_103", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_55_56_97_102_105": { "name": "_r_38_55_56_97_102_105", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_62": { "name": "_r_38_62", "optional": true, "type": "XOR", "note": "" }, "_r_38_62_63_64": { "name": "_r_38_62_63_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_62_63_65": { "name": "_r_38_62_63_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": false, "type": "XOR", "note": "" }, "_r_66": { "name": "_r_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_66_67": { "name": "_r_66_67", "optional": true, "type": "OR", "note": "" }, "_r_66_67_68_69": { "name": "_r_66_67_68_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_66_67_68_70": { "name": "_r_66_67_68_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_66_71": { "name": "_r_66_71", "optional": false, "type": "XOR", "note": "" }, "_r_66_71_72_73": { "name": "_r_66_71_72_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_66_71_72_74": { "name": "_r_66_71_72_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_66_71_72_75": { "name": "_r_66_71_72_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7_10": { "name": "_r_6_7_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7_77": { "name": "_r_6_7_77", "optional": true, "type": "XOR", "note": "" }, "_r_6_7_77_78_79": { "name": "_r_6_7_77_78_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7_77_78_80": { "name": "_r_6_7_77_78_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_76": { "name": "_r_76", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_11", "children": [ { "id": "_r_11_20_21" }, { "id": "_r_11_20_22" }, { "id": "_r_11_20_23" }, { "id": "_r_11_20_24" }, { "id": "_r_11_20_25" } ] }, { "id": "_r_26", "children": [ { "id": "_r_26_27_28", "children": [ { "id": "_r_26_27_28_29_30" }, { "id": "_r_26_27_28_29_31" }, { "id": "_r_26_27_28_29_32" } ] }, { "id": "_r_26_27_33", "children": [ { "id": "_r_26_27_33_34_35" }, { "id": "_r_26_27_33_34_36" }, { "id": "_r_26_27_33_34_37" } ] } ] }, { "id": "_r_38", "children": [ { "id": "_r_38_40", "children": [ { "id": "_r_38_40_84_85", "children": [ { "id": "_r_38_40_84_85_89_90" }, { "id": "_r_38_40_84_85_89_91" }, { "id": "_r_38_40_84_85_89_92" } ] }, { "id": "_r_38_40_84_88", "children": [ { "id": "_r_38_40_84_88_93_94" }, { "id": "_r_38_40_84_88_93_95" } ] } ] }, { "id": "_r_38_51", "children": [ { "id": "_r_38_51_52_53" }, { "id": "_r_38_51_52_54" } ] }, { "id": "_r_38_55", "children": [ { "id": "_r_38_55_56_96", "children": [ { "id": "_r_38_55_56_96_98_100" }, { "id": "_r_38_55_56_96_98_101" }, { "id": "_r_38_55_56_96_98_99" } ] }, { "id": "_r_38_55_56_97", "children": [ { "id": "_r_38_55_56_97_102_103" }, { "id": "_r_38_55_56_97_102_105" } ] } ] }, { "id": "_r_38_62", "children": [ { "id": "_r_38_62_63_64" }, { "id": "_r_38_62_63_65" } ] } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_7_10" }, { "id": "_r_6_7_77", "children": [ { "id": "_r_6_7_77_78_79" }, { "id": "_r_6_7_77_78_80" } ] } ] }, { "id": "_r_66", "children": [ { "id": "_r_66_67", "children": [ { "id": "_r_66_67_68_69" }, { "id": "_r_66_67_68_70" } ] }, { "id": "_r_66_71", "children": [ { "id": "_r_66_71_72_73" }, { "id": "_r_66_71_72_74" }, { "id": "_r_66_71_72_75" } ] } ] }, { "id": "_r_76" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_20_24" ] }, { "type": "FeatureTerm", "operands": [ "_r_26_27_33_34_37" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_26_27_33" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_7_77" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_66" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_7_77_78_79" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_7_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_26_27_33" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_66_67" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_7_77_78_79" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_20_25" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_7_77_78_79" ] } ] } ] } } }