{ "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_10": { "name": "_r_1_10", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_11": { "name": "_r_1_11", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_12": { "name": "_r_1_12", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_13": { "name": "_r_1_13", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_14": { "name": "_r_1_14", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_15": { "name": "_r_1_15", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_16": { "name": "_r_1_16", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_5": { "name": "_r_1_5", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_6": { "name": "_r_1_6", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_7": { "name": "_r_1_7", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_8": { "name": "_r_1_8", "optional": false, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_18": { "name": "_r_2_18", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_19": { "name": "_r_2_19", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_20": { "name": "_r_2_20", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_21": { "name": "_r_2_21", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_22": { "name": "_r_2_22", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_23": { "name": "_r_2_23", "optional": false, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_24": { "name": "_r_3_24", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_25": { "name": "_r_3_25", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_26": { "name": "_r_3_26", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_27": { "name": "_r_3_27", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_28": { "name": "_r_3_28", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_29": { "name": "_r_3_29", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_30": { "name": "_r_3_30", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_31": { "name": "_r_3_31", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_32": { "name": "_r_3_32", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_33": { "name": "_r_3_33", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_34": { "name": "_r_3_34", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_35": { "name": "_r_3_35", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_36": { "name": "_r_3_36", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_37": { "name": "_r_3_37", "optional": false, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_38": { "name": "_r_4_38", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_39": { "name": "_r_4_39", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_40": { "name": "_r_4_40", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_41": { "name": "_r_4_41", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_42": { "name": "_r_4_42", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_43": { "name": "_r_4_43", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_44": { "name": "_r_4_44", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_45": { "name": "_r_4_45", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_46": { "name": "_r_4_46", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_47": { "name": "_r_4_47", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_48": { "name": "_r_4_48", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_49": { "name": "_r_4_49", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_50": { "name": "_r_4_50", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_51": { "name": "_r_4_51", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_53": { "name": "_r_4_53", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_54": { "name": "_r_4_54", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_55": { "name": "_r_4_55", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_56": { "name": "_r_4_56", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_57": { "name": "_r_4_57", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_58": { "name": "_r_4_58", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_59": { "name": "_r_4_59", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_60": { "name": "_r_4_60", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_61": { "name": "_r_4_61", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_62": { "name": "_r_4_62", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_63": { "name": "_r_4_63", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_64": { "name": "_r_4_64", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_65": { "name": "_r_4_65", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_66": { "name": "_r_4_66", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_67": { "name": "_r_4_67", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_68": { "name": "_r_4_68", "optional": false, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_10" }, { "id": "_r_1_11" }, { "id": "_r_1_12" }, { "id": "_r_1_13" }, { "id": "_r_1_14" }, { "id": "_r_1_15" }, { "id": "_r_1_16" }, { "id": "_r_1_5" }, { "id": "_r_1_6" }, { "id": "_r_1_7" }, { "id": "_r_1_8" } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_18" }, { "id": "_r_2_19" }, { "id": "_r_2_20" }, { "id": "_r_2_21" }, { "id": "_r_2_22" }, { "id": "_r_2_23" } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_24" }, { "id": "_r_3_25" }, { "id": "_r_3_26" }, { "id": "_r_3_27" }, { "id": "_r_3_28" }, { "id": "_r_3_29" }, { "id": "_r_3_30" }, { "id": "_r_3_31" }, { "id": "_r_3_32" }, { "id": "_r_3_33" }, { "id": "_r_3_34" }, { "id": "_r_3_35" }, { "id": "_r_3_36" }, { "id": "_r_3_37" } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_38" }, { "id": "_r_4_39" }, { "id": "_r_4_40" }, { "id": "_r_4_41" }, { "id": "_r_4_42" }, { "id": "_r_4_43" }, { "id": "_r_4_44" }, { "id": "_r_4_45" }, { "id": "_r_4_46" }, { "id": "_r_4_47" }, { "id": "_r_4_48" }, { "id": "_r_4_49" }, { "id": "_r_4_50" }, { "id": "_r_4_51" }, { "id": "_r_4_53" }, { "id": "_r_4_54" }, { "id": "_r_4_55" }, { "id": "_r_4_56" }, { "id": "_r_4_57" }, { "id": "_r_4_58" }, { "id": "_r_4_59" }, { "id": "_r_4_60" }, { "id": "_r_4_61" }, { "id": "_r_4_62" }, { "id": "_r_4_63" }, { "id": "_r_4_64" }, { "id": "_r_4_65" }, { "id": "_r_4_66" }, { "id": "_r_4_67" }, { "id": "_r_4_68" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_23" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_38" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_19" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_59" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_20" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_59" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_21" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_54" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_19" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_64" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_48" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_18" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_68" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_18" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_68" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_23" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_38" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_18" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_64" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_21" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_48" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_20" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_54" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_43" ] } ] } } }