{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": true, "type": "FEATURE", "note": "" }, "_r_18": { "name": "_r_18", "optional": false, "type": "FEATURE", "note": "" }, "_r_18_19": { "name": "_r_18_19", "optional": false, "type": "FEATURE", "note": "" }, "_r_18_21": { "name": "_r_18_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_10": { "name": "_r_1_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_10_11": { "name": "_r_1_10_11", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_10_14": { "name": "_r_1_10_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_15": { "name": "_r_1_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_16": { "name": "_r_1_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2": { "name": "_r_1_2", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3": { "name": "_r_1_2_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_4": { "name": "_r_1_2_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_4_5": { "name": "_r_1_2_4_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6": { "name": "_r_1_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_7": { "name": "_r_1_6_7", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_6_8": { "name": "_r_1_6_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_8_9": { "name": "_r_1_6_8_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_22": { "name": "_r_22", "optional": false, "type": "FEATURE", "note": "" }, "_r_22_23": { "name": "_r_22_23", "optional": true, "type": "OR", "note": "" }, "_r_22_23_26_27": { "name": "_r_22_23_26_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_26_28": { "name": "_r_22_23_26_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_29": { "name": "_r_22_29", "optional": false, "type": "FEATURE", "note": "" }, "_r_30": { "name": "_r_30", "optional": false, "type": "FEATURE", "note": "" }, "_r_30_31": { "name": "_r_30_31", "optional": false, "type": "FEATURE", "note": "" }, "_r_30_32": { "name": "_r_30_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_32_33": { "name": "_r_30_32_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_32_33_34": { "name": "_r_30_32_33_34", "optional": true, "type": "XOR", "note": "" }, "_r_30_32_33_34_37_38": { "name": "_r_30_32_33_34_37_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_32_33_34_37_39": { "name": "_r_30_32_33_34_37_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_40": { "name": "_r_40", "optional": true, "type": "OR", "note": "" }, "_r_40_41_42": { "name": "_r_40_41_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_40_41_43": { "name": "_r_40_41_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_40_41_44": { "name": "_r_40_41_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_45": { "name": "_r_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_45_46": { "name": "_r_45_46", "optional": false, "type": "FEATURE", "note": "" }, "_r_45_46_47": { "name": "_r_45_46_47", "optional": false, "type": "FEATURE", "note": "" }, "_r_45_46_48": { "name": "_r_45_46_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_45_49": { "name": "_r_45_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_50": { "name": "_r_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_50_51": { "name": "_r_50_51", "optional": false, "type": "FEATURE", "note": "" }, "_r_50_52": { "name": "_r_50_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_53": { "name": "_r_53", "optional": true, "type": "OR", "note": "" }, "_r_53_54_55": { "name": "_r_53_54_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_54_56": { "name": "_r_53_54_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_54_57": { "name": "_r_53_54_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_58": { "name": "_r_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_58_59": { "name": "_r_58_59", "optional": false, "type": "OR", "note": "" }, "_r_58_59_60_61": { "name": "_r_58_59_60_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_58_59_60_62": { "name": "_r_58_59_60_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_58_59_60_63": { "name": "_r_58_59_60_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_58_68": { "name": "_r_58_68", "optional": true, "type": "OR", "note": "" }, "_r_58_68_69_70": { "name": "_r_58_68_69_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_58_68_69_71": { "name": "_r_58_68_69_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_60": { "name": "_r_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_72": { "name": "_r_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_72_73": { "name": "_r_72_73", "optional": false, "type": "FEATURE", "note": "" }, "_r_72_74": { "name": "_r_72_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_75": { "name": "_r_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_75_76": { "name": "_r_75_76", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_10", "children": [ { "id": "_r_1_10_11" }, { "id": "_r_1_10_14" } ] }, { "id": "_r_1_15" }, { "id": "_r_1_16" }, { "id": "_r_1_2", "children": [ { "id": "_r_1_2_3" }, { "id": "_r_1_2_4", "children": [ { "id": "_r_1_2_4_5" } ] } ] }, { "id": "_r_1_6", "children": [ { "id": "_r_1_6_7" }, { "id": "_r_1_6_8", "children": [ { "id": "_r_1_6_8_9" } ] } ] } ] }, { "id": "_r_18", "children": [ { "id": "_r_18_19" }, { "id": "_r_18_21" } ] }, { "id": "_r_22", "children": [ { "id": "_r_22_23", "children": [ { "id": "_r_22_23_26_27" }, { "id": "_r_22_23_26_28" } ] }, { "id": "_r_22_29" } ] }, { "id": "_r_30", "children": [ { "id": "_r_30_31" }, { "id": "_r_30_32", "children": [ { "id": "_r_30_32_33", "children": [ { "id": "_r_30_32_33_34", "children": [ { "id": "_r_30_32_33_34_37_38" }, { "id": "_r_30_32_33_34_37_39" } ] } ] } ] } ] }, { "id": "_r_40", "children": [ { "id": "_r_40_41_42" }, { "id": "_r_40_41_43" }, { "id": "_r_40_41_44" } ] }, { "id": "_r_45", "children": [ { "id": "_r_45_46", "children": [ { "id": "_r_45_46_47" }, { "id": "_r_45_46_48" } ] }, { "id": "_r_45_49" } ] }, { "id": "_r_50", "children": [ { "id": "_r_50_51" }, { "id": "_r_50_52" } ] }, { "id": "_r_53", "children": [ { "id": "_r_53_54_55" }, { "id": "_r_53_54_56" }, { "id": "_r_53_54_57" } ] }, { "id": "_r_58", "children": [ { "id": "_r_58_59", "children": [ { "id": "_r_58_59_60_61" }, { "id": "_r_58_59_60_62" }, { "id": "_r_58_59_60_63" } ] }, { "id": "_r_58_68", "children": [ { "id": "_r_58_68_69_70" }, { "id": "_r_58_68_69_71" } ] } ] }, { "id": "_r_60" }, { "id": "_r_72", "children": [ { "id": "_r_72_73" }, { "id": "_r_72_74" } ] }, { "id": "_r_75", "children": [ { "id": "_r_75_76" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_32_33_34_37_38" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_32_33_34_37_39" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2" ] }, { "type": "FeatureTerm", "operands": [ "_r_1" ] } ] } } }