{ "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_10": { "name": "_r_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_11": { "name": "_r_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_12": { "name": "_r_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_13": { "name": "_r_13", "optional": false, "type": "FEATURE", "note": "" }, "_r_13_14": { "name": "_r_13_14", "optional": false, "type": "FEATURE", "note": "" }, "_r_13_14_15": { "name": "_r_13_14_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_16": { "name": "_r_13_14_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_17": { "name": "_r_13_14_17", "optional": true, "type": "XOR", "note": "" }, "_r_13_14_17_18_19": { "name": "_r_13_14_17_18_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_17_18_21": { "name": "_r_13_14_17_18_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_17_18_22": { "name": "_r_13_14_17_18_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_23": { "name": "_r_13_14_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_24": { "name": "_r_13_14_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_24_25": { "name": "_r_13_14_24_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_24_26": { "name": "_r_13_14_24_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_24_27": { "name": "_r_13_14_24_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_24_28": { "name": "_r_13_14_24_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_24_29": { "name": "_r_13_14_24_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_24_30": { "name": "_r_13_14_24_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_24_31": { "name": "_r_13_14_24_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_32": { "name": "_r_13_14_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_33": { "name": "_r_13_14_33", "optional": false, "type": "FEATURE", "note": "" }, "_r_13_14_34": { "name": "_r_13_14_34", "optional": false, "type": "FEATURE", "note": "" }, "_r_13_35": { "name": "_r_13_35", "optional": false, "type": "FEATURE", "note": "" }, "_r_13_35_36": { "name": "_r_13_35_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_35_37": { "name": "_r_13_35_37", "optional": false, "type": "FEATURE", "note": "" }, "_r_13_35_38": { "name": "_r_13_35_38", "optional": false, "type": "FEATURE", "note": "" }, "_r_13_39": { "name": "_r_13_39", "optional": false, "type": "FEATURE", "note": "" }, "_r_13_39_40": { "name": "_r_13_39_40", "optional": false, "type": "FEATURE", "note": "" }, "_r_13_39_41": { "name": "_r_13_39_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_39_42": { "name": "_r_13_39_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_39_43": { "name": "_r_13_39_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_39_44": { "name": "_r_13_39_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_39_45": { "name": "_r_13_39_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_39_46": { "name": "_r_13_39_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_39_47": { "name": "_r_13_39_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_39_48": { "name": "_r_13_39_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_49": { "name": "_r_13_49", "optional": false, "type": "FEATURE", "note": "" }, "_r_13_49_50": { "name": "_r_13_49_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_49_51": { "name": "_r_13_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_49_52": { "name": "_r_13_49_52", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_3": { "name": "_r_1_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_3_4": { "name": "_r_1_3_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_5": { "name": "_r_1_3_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_6": { "name": "_r_1_3_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_7": { "name": "_r_1_3_7", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_3_8": { "name": "_r_1_3_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_53": { "name": "_r_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_54": { "name": "_r_54", "optional": false, "type": "FEATURE", "note": "" }, "_r_54_55": { "name": "_r_54_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_55_56": { "name": "_r_54_55_56", "optional": false, "type": "FEATURE", "note": "" }, "_r_54_55_56_58": { "name": "_r_54_55_56_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_55_56_59": { "name": "_r_54_55_56_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_55_57": { "name": "_r_54_55_57", "optional": true, "type": "XOR", "note": "" }, "_r_54_55_57_63_64": { "name": "_r_54_55_57_63_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_55_57_63_65": { "name": "_r_54_55_57_63_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_67": { "name": "_r_54_67", "optional": false, "type": "FEATURE", "note": "" }, "_r_54_67_68": { "name": "_r_54_67_68", "optional": false, "type": "FEATURE", "note": "" }, "_r_54_67_69": { "name": "_r_54_67_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_67_70": { "name": "_r_54_67_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_9": { "name": "_r_9", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_3", "children": [ { "id": "_r_1_3_4" }, { "id": "_r_1_3_5" }, { "id": "_r_1_3_6" }, { "id": "_r_1_3_7" }, { "id": "_r_1_3_8" } ] } ] }, { "id": "_r_10" }, { "id": "_r_11" }, { "id": "_r_12" }, { "id": "_r_13", "children": [ { "id": "_r_13_14", "children": [ { "id": "_r_13_14_15" }, { "id": "_r_13_14_16" }, { "id": "_r_13_14_17", "children": [ { "id": "_r_13_14_17_18_19" }, { "id": "_r_13_14_17_18_21" }, { "id": "_r_13_14_17_18_22" } ] }, { "id": "_r_13_14_23" }, { "id": "_r_13_14_24", "children": [ { "id": "_r_13_14_24_25" }, { "id": "_r_13_14_24_26" }, { "id": "_r_13_14_24_27" }, { "id": "_r_13_14_24_28" }, { "id": "_r_13_14_24_29" }, { "id": "_r_13_14_24_30" }, { "id": "_r_13_14_24_31" } ] }, { "id": "_r_13_14_32" }, { "id": "_r_13_14_33" }, { "id": "_r_13_14_34" } ] }, { "id": "_r_13_35", "children": [ { "id": "_r_13_35_36" }, { "id": "_r_13_35_37" }, { "id": "_r_13_35_38" } ] }, { "id": "_r_13_39", "children": [ { "id": "_r_13_39_40" }, { "id": "_r_13_39_41" }, { "id": "_r_13_39_42" }, { "id": "_r_13_39_43" }, { "id": "_r_13_39_44" }, { "id": "_r_13_39_45" }, { "id": "_r_13_39_46" }, { "id": "_r_13_39_47" }, { "id": "_r_13_39_48" } ] }, { "id": "_r_13_49", "children": [ { "id": "_r_13_49_50" }, { "id": "_r_13_49_51" }, { "id": "_r_13_49_52" } ] } ] }, { "id": "_r_53" }, { "id": "_r_54", "children": [ { "id": "_r_54_55", "children": [ { "id": "_r_54_55_56", "children": [ { "id": "_r_54_55_56_58" }, { "id": "_r_54_55_56_59" } ] }, { "id": "_r_54_55_57", "children": [ { "id": "_r_54_55_57_63_64" }, { "id": "_r_54_55_57_63_65" } ] } ] }, { "id": "_r_54_67", "children": [ { "id": "_r_54_67_68" }, { "id": "_r_54_67_69" }, { "id": "_r_54_67_70" } ] } ] }, { "id": "_r_9" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_13" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_14_15" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_39_43" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9" ] }, { "type": "FeatureTerm", "operands": [ "_r_13" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_9" ] }, { "type": "FeatureTerm", "operands": [ "_r_11" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_14_24_31" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_14_23" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_49_52" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_14_15" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_54_67_69" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_14_17" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_54_67_69" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_49_50" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_54_55_56_58" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_54_55_56_58" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_14_33" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_54_55_56_58" ] }, { "type": "FeatureTerm", "operands": [ "_r_54_67_69" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_14_16" ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1" ] }, { "type": "FeatureTerm", "operands": [ "_r_13" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_54_55_56_58" ] }, { "type": "FeatureTerm", "operands": [ "_r_54_67_69" ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13" ] }, { "type": "FeatureTerm", "operands": [ "_r_54" ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_14_24" ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_14_15" ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_39_48" ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_8" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_39_44" ] } ] }, "Constraint 25": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_39_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_53" ] } ] }, "Constraint 26": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_39_48" ] }, { "type": "FeatureTerm", "operands": [ "_r_53" ] } ] }, "Constraint 27": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_53" ] } ] }, "Constraint 28": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_13" ] } ] }, "Constraint 29": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_39_46" ] } ] }, "Constraint 30": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_39_44" ] }, { "type": "FeatureTerm", "operands": [ "_r_53" ] } ] }, "Constraint 31": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_39_45" ] }, { "type": "FeatureTerm", "operands": [ "_r_53" ] } ] }, "Constraint 32": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_39_42" ] } ] }, "Constraint 33": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_13" ] } ] }, "Constraint 34": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_53" ] } ] }, "Constraint 35": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_39_40" ] } ] }, "Constraint 36": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_39_47" ] } ] }, "Constraint 37": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_49_50" ] } ] }, "Constraint 38": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_49_51" ] } ] }, "Constraint 39": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_39_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_53" ] } ] }, "Constraint 40": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_39_45" ] } ] }, "Constraint 41": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_39_47" ] }, { "type": "FeatureTerm", "operands": [ "_r_53" ] } ] }, "Constraint 42": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_7" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_39_41" ] } ] } } }