{ "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_12_13": { "name": "_r_11_12_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_12_14": { "name": "_r_11_12_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_12_15": { "name": "_r_11_12_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_12_16": { "name": "_r_11_12_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_12_17": { "name": "_r_11_12_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_18": { "name": "_r_18", "optional": false, "type": "XOR", "note": "" }, "_r_18_19_20": { "name": "_r_18_19_20", "optional": true, "type": "XOR", "note": "" }, "_r_18_19_20_24_25": { "name": "_r_18_19_20_24_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_20_24_26": { "name": "_r_18_19_20_24_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_20_24_27": { "name": "_r_18_19_20_24_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_21": { "name": "_r_18_19_21", "optional": true, "type": "XOR", "note": "" }, "_r_18_19_21_32_33": { "name": "_r_18_19_21_32_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_21_32_34": { "name": "_r_18_19_21_32_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_18_19_21_32_35": { "name": "_r_18_19_21_32_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "XOR", "note": "" }, "_r_2_6_7": { "name": "_r_2_6_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_6_8": { "name": "_r_2_6_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_6_9": { "name": "_r_2_6_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_36": { "name": "_r_36", "optional": false, "type": "FEATURE", "note": "" }, "_r_36_37": { "name": "_r_36_37", "optional": false, "type": "XOR", "note": "" }, "_r_36_37_41_42": { "name": "_r_36_37_41_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_37_41_43": { "name": "_r_36_37_41_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_37_41_44": { "name": "_r_36_37_41_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_37_41_45": { "name": "_r_36_37_41_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_37_41_46": { "name": "_r_36_37_41_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_38": { "name": "_r_36_38", "optional": false, "type": "XOR", "note": "" }, "_r_36_38_47_48": { "name": "_r_36_38_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_38_47_49": { "name": "_r_36_38_47_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_38_47_50": { "name": "_r_36_38_47_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_38_47_51": { "name": "_r_36_38_47_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_38_47_52": { "name": "_r_36_38_47_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_39": { "name": "_r_36_39", "optional": false, "type": "XOR", "note": "" }, "_r_36_39_53_54": { "name": "_r_36_39_53_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_39_53_56": { "name": "_r_36_39_53_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_40": { "name": "_r_36_40", "optional": true, "type": "XOR", "note": "" }, "_r_36_40_59_60": { "name": "_r_36_40_59_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_36_40_59_61": { "name": "_r_36_40_59_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_63": { "name": "_r_63", "optional": true, "type": "XOR", "note": "" }, "_r_63_68_69": { "name": "_r_63_68_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_63_68_70": { "name": "_r_63_68_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_63_68_71": { "name": "_r_63_68_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_64": { "name": "_r_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_72": { "name": "_r_72", "optional": true, "type": "OR", "note": "" }, "_r_72_75_76": { "name": "_r_72_75_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_72_75_77": { "name": "_r_72_75_77", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_11", "children": [ { "id": "_r_11_12_13" }, { "id": "_r_11_12_14" }, { "id": "_r_11_12_15" }, { "id": "_r_11_12_16" }, { "id": "_r_11_12_17" } ] }, { "id": "_r_18", "children": [ { "id": "_r_18_19_20", "children": [ { "id": "_r_18_19_20_24_25" }, { "id": "_r_18_19_20_24_26" }, { "id": "_r_18_19_20_24_27" } ] }, { "id": "_r_18_19_21", "children": [ { "id": "_r_18_19_21_32_33" }, { "id": "_r_18_19_21_32_34" }, { "id": "_r_18_19_21_32_35" } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_6_7" }, { "id": "_r_2_6_8" }, { "id": "_r_2_6_9" } ] }, { "id": "_r_36", "children": [ { "id": "_r_36_37", "children": [ { "id": "_r_36_37_41_42" }, { "id": "_r_36_37_41_43" }, { "id": "_r_36_37_41_44" }, { "id": "_r_36_37_41_45" }, { "id": "_r_36_37_41_46" } ] }, { "id": "_r_36_38", "children": [ { "id": "_r_36_38_47_48" }, { "id": "_r_36_38_47_49" }, { "id": "_r_36_38_47_50" }, { "id": "_r_36_38_47_51" }, { "id": "_r_36_38_47_52" } ] }, { "id": "_r_36_39", "children": [ { "id": "_r_36_39_53_54" }, { "id": "_r_36_39_53_56" } ] }, { "id": "_r_36_40", "children": [ { "id": "_r_36_40_59_60" }, { "id": "_r_36_40_59_61" } ] } ] }, { "id": "_r_63", "children": [ { "id": "_r_63_68_69" }, { "id": "_r_63_68_70" }, { "id": "_r_63_68_71" } ] }, { "id": "_r_64" }, { "id": "_r_72", "children": [ { "id": "_r_72_75_76" }, { "id": "_r_72_75_77" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_37_41_42" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_16" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_21_32_35" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_37_41_44" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_37_41_43" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_38_47_49" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_38_47_48" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_20_24_25" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_38_47_50" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_20_24_26" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_21_32_33" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_21_32_34" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_63" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_21" ] } ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_16" ] } ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_63" ] }, { "type": "FeatureTerm", "operands": [ "_r_72" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_20_24_27" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_37_41_46" ] } ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_37_41_46" ] } ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_37_41_45" ] } ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_21_32_35" ] } ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_20_24_27" ] } ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_21_32_35" ] } ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_18_19_20" ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_13" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_20_24_27" ] } ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_38_47_52" ] } ] } ] }, "Constraint 25": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_37_41_45" ] } ] } ] }, "Constraint 26": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_21_32_35" ] } ] } ] }, "Constraint 27": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11_12_16" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_18_19_20_24_27" ] } ] } ] }, "Constraint 28": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_72_75_77" ] } ] } ] }, "Constraint 29": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_9" ] }, { "type": "FeatureTerm", "operands": [ "_r_18_19_21" ] } ] }, "Constraint 30": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_38_47_52" ] } ] } ] }, "Constraint 31": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_38_47_51" ] } ] } ] }, "Constraint 32": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_72_75_76" ] } ] } ] }, "Constraint 33": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_6_8" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_36_38_47_51" ] } ] } ] } } }