{ "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_11": { "name": "_r_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_11_12": { "name": "_r_11_12", "optional": false, "type": "FEATURE", "note": "" }, "_r_11_13": { "name": "_r_11_13", "optional": false, "type": "FEATURE", "note": "" }, "_r_11_14": { "name": "_r_11_14", "optional": false, "type": "FEATURE", "note": "" }, "_r_11_15": { "name": "_r_11_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_17": { "name": "_r_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18": { "name": "_r_17_18", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_19": { "name": "_r_17_19", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_20": { "name": "_r_17_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_21": { "name": "_r_17_21", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_22": { "name": "_r_17_22", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_23": { "name": "_r_17_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_24": { "name": "_r_17_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_25": { "name": "_r_17_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2": { "name": "_r_1_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_3": { "name": "_r_1_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_4": { "name": "_r_1_4", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5": { "name": "_r_1_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_26": { "name": "_r_26", "optional": false, "type": "FEATURE", "note": "" }, "_r_26_27": { "name": "_r_26_27", "optional": false, "type": "FEATURE", "note": "" }, "_r_26_28": { "name": "_r_26_28", "optional": false, "type": "FEATURE", "note": "" }, "_r_26_29": { "name": "_r_26_29", "optional": false, "type": "FEATURE", "note": "" }, "_r_26_30": { "name": "_r_26_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_31": { "name": "_r_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32": { "name": "_r_31_32", "optional": false, "type": "FEATURE", "note": "" }, "_r_31_33": { "name": "_r_31_33", "optional": false, "type": "FEATURE", "note": "" }, "_r_31_34": { "name": "_r_31_34", "optional": false, "type": "FEATURE", "note": "" }, "_r_31_35": { "name": "_r_31_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_36": { "name": "_r_31_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_37": { "name": "_r_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_37_38": { "name": "_r_37_38", "optional": false, "type": "FEATURE", "note": "" }, "_r_37_39": { "name": "_r_37_39", "optional": false, "type": "FEATURE", "note": "" }, "_r_37_40": { "name": "_r_37_40", "optional": false, "type": "FEATURE", "note": "" }, "_r_37_41": { "name": "_r_37_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_42": { "name": "_r_42", "optional": false, "type": "FEATURE", "note": "" }, "_r_42_43": { "name": "_r_42_43", "optional": false, "type": "FEATURE", "note": "" }, "_r_42_44": { "name": "_r_42_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_42_45": { "name": "_r_42_45", "optional": false, "type": "FEATURE", "note": "" }, "_r_42_46": { "name": "_r_42_46", "optional": false, "type": "FEATURE", "note": "" }, "_r_47": { "name": "_r_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_47_48": { "name": "_r_47_48", "optional": false, "type": "FEATURE", "note": "" }, "_r_47_49": { "name": "_r_47_49", "optional": false, "type": "FEATURE", "note": "" }, "_r_47_50": { "name": "_r_47_50", "optional": false, "type": "FEATURE", "note": "" }, "_r_47_51": { "name": "_r_47_51", "optional": false, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_10": { "name": "_r_6_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_7": { "name": "_r_6_7", "optional": false, "type": "FEATURE", "note": "" }, "_r_6_8": { "name": "_r_6_8", "optional": false, "type": "FEATURE", "note": "" }, "_r_6_9": { "name": "_r_6_9", "optional": false, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2" }, { "id": "_r_1_3" }, { "id": "_r_1_4" }, { "id": "_r_1_5" } ] }, { "id": "_r_11", "children": [ { "id": "_r_11_12" }, { "id": "_r_11_13" }, { "id": "_r_11_14" }, { "id": "_r_11_15" } ] }, { "id": "_r_17", "children": [ { "id": "_r_17_18" }, { "id": "_r_17_19" }, { "id": "_r_17_20" }, { "id": "_r_17_21" }, { "id": "_r_17_22" }, { "id": "_r_17_23" }, { "id": "_r_17_24" }, { "id": "_r_17_25" } ] }, { "id": "_r_26", "children": [ { "id": "_r_26_27" }, { "id": "_r_26_28" }, { "id": "_r_26_29" }, { "id": "_r_26_30" } ] }, { "id": "_r_31", "children": [ { "id": "_r_31_32" }, { "id": "_r_31_33" }, { "id": "_r_31_34" }, { "id": "_r_31_35" }, { "id": "_r_31_36" } ] }, { "id": "_r_37", "children": [ { "id": "_r_37_38" }, { "id": "_r_37_39" }, { "id": "_r_37_40" }, { "id": "_r_37_41" } ] }, { "id": "_r_42", "children": [ { "id": "_r_42_43" }, { "id": "_r_42_44" }, { "id": "_r_42_45" }, { "id": "_r_42_46" } ] }, { "id": "_r_47", "children": [ { "id": "_r_47_48" }, { "id": "_r_47_49" }, { "id": "_r_47_50" }, { "id": "_r_47_51" } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_10" }, { "id": "_r_6_7" }, { "id": "_r_6_8" }, { "id": "_r_6_9" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_47" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_11" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_11" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_47" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_47" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_20" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_23" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_20" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_23" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_24" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_25" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_24" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_25" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_47" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_37" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_47" ] } ] } ] } } }