{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_50": { "name": "_r_1_50", "optional": false, "type": "XOR", "note": "" }, "_r_1_50_51_52": { "name": "_r_1_50_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_50_51_53": { "name": "_r_1_50_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_54": { "name": "_r_1_54", "optional": true, "type": "OR", "note": "" }, "_r_1_54_55_56": { "name": "_r_1_54_55_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_54_55_57": { "name": "_r_1_54_55_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_54_55_58": { "name": "_r_1_54_55_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_54_55_59": { "name": "_r_1_54_55_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_54_55_60": { "name": "_r_1_54_55_60", "optional": true, "type": "XOR", "note": "" }, "_r_1_54_55_60_61_62": { "name": "_r_1_54_55_60_61_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_54_55_60_61_63": { "name": "_r_1_54_55_60_61_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_54_55_60_61_64": { "name": "_r_1_54_55_60_61_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_65": { "name": "_r_1_65", "optional": true, "type": "XOR", "note": "" }, "_r_1_65_66_67": { "name": "_r_1_65_66_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_65_66_68": { "name": "_r_1_65_66_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_65_66_68_69": { "name": "_r_1_65_66_68_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_65_66_68_70": { "name": "_r_1_65_66_68_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_71": { "name": "_r_1_71", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_71_72": { "name": "_r_1_71_72", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_71_73": { "name": "_r_1_71_73", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_74": { "name": "_r_1_74", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_75": { "name": "_r_1_75", "optional": false, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_17": { "name": "_r_2_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_17_18": { "name": "_r_2_17_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_17_19": { "name": "_r_2_17_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20": { "name": "_r_2_20", "optional": false, "type": "XOR", "note": "" }, "_r_2_20_21_22": { "name": "_r_2_20_21_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_20_21_23": { "name": "_r_2_20_21_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24": { "name": "_r_2_24", "optional": false, "type": "OR", "note": "" }, "_r_2_24_25_26": { "name": "_r_2_24_25_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_24_25_27": { "name": "_r_2_24_25_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_28": { "name": "_r_2_28", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_28_29": { "name": "_r_2_28_29", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_28_30": { "name": "_r_2_28_30", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_3": { "name": "_r_2_3", "optional": false, "type": "XOR", "note": "" }, "_r_2_31": { "name": "_r_2_31", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_31_32": { "name": "_r_2_31_32", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_31_33": { "name": "_r_2_31_33", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_34": { "name": "_r_2_34", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_35": { "name": "_r_2_35", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_35_36": { "name": "_r_2_35_36", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_35_37": { "name": "_r_2_35_37", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_38": { "name": "_r_2_38", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_38_39": { "name": "_r_2_38_39", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_38_40": { "name": "_r_2_38_40", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_3_4_5": { "name": "_r_2_3_4_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_4_8": { "name": "_r_2_3_4_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_41": { "name": "_r_2_41", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_41_42": { "name": "_r_2_41_42", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_41_43": { "name": "_r_2_41_43", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_44": { "name": "_r_2_44", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_44_45": { "name": "_r_2_44_45", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_44_46": { "name": "_r_2_44_46", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_47": { "name": "_r_2_47", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_47_48": { "name": "_r_2_47_48", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_47_49": { "name": "_r_2_47_49", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_9": { "name": "_r_2_9", "optional": true, "type": "XOR", "note": "" }, "_r_2_9_10_11": { "name": "_r_2_9_10_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_9_10_12": { "name": "_r_2_9_10_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_9_10_12_13": { "name": "_r_2_9_10_12_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_9_10_12_14": { "name": "_r_2_9_10_12_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_9_10_12_15": { "name": "_r_2_9_10_12_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_9_10_12_16": { "name": "_r_2_9_10_12_16", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_50", "children": [ { "id": "_r_1_50_51_52" }, { "id": "_r_1_50_51_53" } ] }, { "id": "_r_1_54", "children": [ { "id": "_r_1_54_55_56" }, { "id": "_r_1_54_55_57" }, { "id": "_r_1_54_55_58" }, { "id": "_r_1_54_55_59" }, { "id": "_r_1_54_55_60", "children": [ { "id": "_r_1_54_55_60_61_62" }, { "id": "_r_1_54_55_60_61_63" }, { "id": "_r_1_54_55_60_61_64" } ] } ] }, { "id": "_r_1_65", "children": [ { "id": "_r_1_65_66_67" }, { "id": "_r_1_65_66_68", "children": [ { "id": "_r_1_65_66_68_69" }, { "id": "_r_1_65_66_68_70" } ] } ] }, { "id": "_r_1_71", "children": [ { "id": "_r_1_71_72" }, { "id": "_r_1_71_73" } ] }, { "id": "_r_1_74" }, { "id": "_r_1_75" } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_17", "children": [ { "id": "_r_2_17_18" }, { "id": "_r_2_17_19" } ] }, { "id": "_r_2_20", "children": [ { "id": "_r_2_20_21_22" }, { "id": "_r_2_20_21_23" } ] }, { "id": "_r_2_24", "children": [ { "id": "_r_2_24_25_26" }, { "id": "_r_2_24_25_27" } ] }, { "id": "_r_2_28", "children": [ { "id": "_r_2_28_29" }, { "id": "_r_2_28_30" } ] }, { "id": "_r_2_3", "children": [ { "id": "_r_2_3_4_5" }, { "id": "_r_2_3_4_8" } ] }, { "id": "_r_2_31", "children": [ { "id": "_r_2_31_32" }, { "id": "_r_2_31_33" } ] }, { "id": "_r_2_34" }, { "id": "_r_2_35", "children": [ { "id": "_r_2_35_36" }, { "id": "_r_2_35_37" } ] }, { "id": "_r_2_38", "children": [ { "id": "_r_2_38_39" }, { "id": "_r_2_38_40" } ] }, { "id": "_r_2_41", "children": [ { "id": "_r_2_41_42" }, { "id": "_r_2_41_43" } ] }, { "id": "_r_2_44", "children": [ { "id": "_r_2_44_45" }, { "id": "_r_2_44_46" } ] }, { "id": "_r_2_47", "children": [ { "id": "_r_2_47_48" }, { "id": "_r_2_47_49" } ] }, { "id": "_r_2_9", "children": [ { "id": "_r_2_9_10_11" }, { "id": "_r_2_9_10_12", "children": [ { "id": "_r_2_9_10_12_13" }, { "id": "_r_2_9_10_12_14" }, { "id": "_r_2_9_10_12_15" }, { "id": "_r_2_9_10_12_16" } ] } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_9_10_12_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_9_10_12_15" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_9_10_12_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_9_10_12_15" ] } ] } } }