{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_19": { "name": "_r_19", "optional": false, "type": "XOR", "note": "" }, "_r_19_31_32": { "name": "_r_19_31_32", "optional": true, "type": "XOR", "note": "" }, "_r_19_31_32_35_36": { "name": "_r_19_31_32_35_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_31_32_35_37": { "name": "_r_19_31_32_35_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_31_32_35_38": { "name": "_r_19_31_32_35_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_31_43": { "name": "_r_19_31_43", "optional": true, "type": "XOR", "note": "" }, "_r_19_31_43_44_45": { "name": "_r_19_31_43_44_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_31_43_44_46": { "name": "_r_19_31_43_44_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_31_43_44_47": { "name": "_r_19_31_43_44_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": false, "type": "FEATURE", "note": "" }, "_r_48": { "name": "_r_48", "optional": false, "type": "FEATURE", "note": "" }, "_r_48_49": { "name": "_r_48_49", "optional": false, "type": "XOR", "note": "" }, "_r_48_49_55_56": { "name": "_r_48_49_55_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_49_55_57": { "name": "_r_48_49_55_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_49_55_58": { "name": "_r_48_49_55_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_49_55_59": { "name": "_r_48_49_55_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_49_55_60": { "name": "_r_48_49_55_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_50": { "name": "_r_48_50", "optional": false, "type": "XOR", "note": "" }, "_r_48_50_61_62": { "name": "_r_48_50_61_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_50_61_63": { "name": "_r_48_50_61_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_51": { "name": "_r_48_51", "optional": false, "type": "XOR", "note": "" }, "_r_48_51_64_65": { "name": "_r_48_51_64_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_51_64_66": { "name": "_r_48_51_64_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_51_64_67": { "name": "_r_48_51_64_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_51_64_68": { "name": "_r_48_51_64_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_51_64_69": { "name": "_r_48_51_64_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_52": { "name": "_r_48_52", "optional": true, "type": "XOR", "note": "" }, "_r_48_52_70_71": { "name": "_r_48_52_70_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_48_52_70_72": { "name": "_r_48_52_70_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_5": { "name": "_r_4_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_6": { "name": "_r_4_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_7": { "name": "_r_4_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_53": { "name": "_r_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_73": { "name": "_r_53_73", "optional": false, "type": "XOR", "note": "" }, "_r_53_73_74_75": { "name": "_r_53_73_74_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_73_74_76": { "name": "_r_53_73_74_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_73_74_77": { "name": "_r_53_73_74_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_78": { "name": "_r_53_78", "optional": false, "type": "OR", "note": "" }, "_r_53_78_79_80": { "name": "_r_53_78_79_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_78_79_81": { "name": "_r_53_78_79_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_54": { "name": "_r_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_8": { "name": "_r_8", "optional": false, "type": "XOR", "note": "" }, "_r_8_13_14": { "name": "_r_8_13_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_13_15": { "name": "_r_8_13_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_13_16": { "name": "_r_8_13_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_13_17": { "name": "_r_8_13_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_13_18": { "name": "_r_8_13_18", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_19", "children": [ { "id": "_r_19_31_32", "children": [ { "id": "_r_19_31_32_35_36" }, { "id": "_r_19_31_32_35_37" }, { "id": "_r_19_31_32_35_38" } ] }, { "id": "_r_19_31_43", "children": [ { "id": "_r_19_31_43_44_45" }, { "id": "_r_19_31_43_44_46" }, { "id": "_r_19_31_43_44_47" } ] } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_5" }, { "id": "_r_4_6" }, { "id": "_r_4_7" } ] }, { "id": "_r_48", "children": [ { "id": "_r_48_49", "children": [ { "id": "_r_48_49_55_56" }, { "id": "_r_48_49_55_57" }, { "id": "_r_48_49_55_58" }, { "id": "_r_48_49_55_59" }, { "id": "_r_48_49_55_60" } ] }, { "id": "_r_48_50", "children": [ { "id": "_r_48_50_61_62" }, { "id": "_r_48_50_61_63" } ] }, { "id": "_r_48_51", "children": [ { "id": "_r_48_51_64_65" }, { "id": "_r_48_51_64_66" }, { "id": "_r_48_51_64_67" }, { "id": "_r_48_51_64_68" }, { "id": "_r_48_51_64_69" } ] }, { "id": "_r_48_52", "children": [ { "id": "_r_48_52_70_71" }, { "id": "_r_48_52_70_72" } ] } ] }, { "id": "_r_53", "children": [ { "id": "_r_53_73", "children": [ { "id": "_r_53_73_74_75" }, { "id": "_r_53_73_74_76" }, { "id": "_r_53_73_74_77" } ] }, { "id": "_r_53_78", "children": [ { "id": "_r_53_78_79_80" }, { "id": "_r_53_78_79_81" } ] } ] }, { "id": "_r_54" }, { "id": "_r_8", "children": [ { "id": "_r_8_13_14" }, { "id": "_r_8_13_15" }, { "id": "_r_8_13_16" }, { "id": "_r_8_13_17" }, { "id": "_r_8_13_18" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_31_43" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_31_43" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_13_16" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_19_31_43_44_47" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_48_51_64_69" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_48_51_64_69" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_13_16" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_19_31_32_35_38" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_8_13_14" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_31_32" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_53_78" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_48_49_55_60" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_48_49_55_60" ] } ] } ] } } }