{ "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_2": { "name": "_r_1_2", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_10": { "name": "_r_1_2_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_11": { "name": "_r_1_2_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_12": { "name": "_r_1_2_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_13": { "name": "_r_1_2_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_14": { "name": "_r_1_2_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_15": { "name": "_r_1_2_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_16": { "name": "_r_1_2_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_17": { "name": "_r_1_2_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_18": { "name": "_r_1_2_18", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_2_19": { "name": "_r_1_2_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_20": { "name": "_r_1_2_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_21": { "name": "_r_1_2_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_9": { "name": "_r_1_2_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3": { "name": "_r_1_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_3_22": { "name": "_r_1_3_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_23": { "name": "_r_1_3_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_24": { "name": "_r_1_3_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_3_25": { "name": "_r_1_3_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4": { "name": "_r_1_4", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_4_26": { "name": "_r_1_4_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_27": { "name": "_r_1_4_27", "optional": false, "type": "XOR", "note": "" }, "_r_1_4_27_33_34": { "name": "_r_1_4_27_33_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_27_33_34_36": { "name": "_r_1_4_27_33_34_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_27_33_34_37": { "name": "_r_1_4_27_33_34_37", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_4_27_33_35": { "name": "_r_1_4_27_33_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_27_33_35_38": { "name": "_r_1_4_27_33_35_38", "optional": false, "type": "XOR", "note": "" }, "_r_1_4_27_33_35_38_40_41": { "name": "_r_1_4_27_33_35_38_40_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_27_33_35_38_40_42": { "name": "_r_1_4_27_33_35_38_40_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_27_33_35_39": { "name": "_r_1_4_27_33_35_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_28": { "name": "_r_1_4_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_29": { "name": "_r_1_4_29", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_4_29_43": { "name": "_r_1_4_29_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_29_44": { "name": "_r_1_4_29_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_29_46": { "name": "_r_1_4_29_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_30": { "name": "_r_1_4_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_31": { "name": "_r_1_4_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_32": { "name": "_r_1_4_32", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_4_32_47": { "name": "_r_1_4_32_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_32_48": { "name": "_r_1_4_32_48", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_4_32_49": { "name": "_r_1_4_32_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5": { "name": "_r_1_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6": { "name": "_r_1_6", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_6_50": { "name": "_r_1_6_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_51": { "name": "_r_1_6_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_51_53": { "name": "_r_1_6_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_51_54": { "name": "_r_1_6_51_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_51_55": { "name": "_r_1_6_51_55", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_6_52": { "name": "_r_1_6_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7": { "name": "_r_1_7", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_7_57": { "name": "_r_1_7_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_58": { "name": "_r_1_7_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_59": { "name": "_r_1_7_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_8": { "name": "_r_1_8", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2", "children": [ { "id": "_r_1_2_10" }, { "id": "_r_1_2_11" }, { "id": "_r_1_2_12" }, { "id": "_r_1_2_13" }, { "id": "_r_1_2_14" }, { "id": "_r_1_2_15" }, { "id": "_r_1_2_16" }, { "id": "_r_1_2_17" }, { "id": "_r_1_2_18" }, { "id": "_r_1_2_19" }, { "id": "_r_1_2_20" }, { "id": "_r_1_2_21" }, { "id": "_r_1_2_9" } ] }, { "id": "_r_1_3", "children": [ { "id": "_r_1_3_22" }, { "id": "_r_1_3_23" }, { "id": "_r_1_3_24" }, { "id": "_r_1_3_25" } ] }, { "id": "_r_1_4", "children": [ { "id": "_r_1_4_26" }, { "id": "_r_1_4_27", "children": [ { "id": "_r_1_4_27_33_34", "children": [ { "id": "_r_1_4_27_33_34_36" }, { "id": "_r_1_4_27_33_34_37" } ] }, { "id": "_r_1_4_27_33_35", "children": [ { "id": "_r_1_4_27_33_35_38", "children": [ { "id": "_r_1_4_27_33_35_38_40_41" }, { "id": "_r_1_4_27_33_35_38_40_42" } ] }, { "id": "_r_1_4_27_33_35_39" } ] } ] }, { "id": "_r_1_4_28" }, { "id": "_r_1_4_29", "children": [ { "id": "_r_1_4_29_43" }, { "id": "_r_1_4_29_44" }, { "id": "_r_1_4_29_46" } ] }, { "id": "_r_1_4_30" }, { "id": "_r_1_4_31" }, { "id": "_r_1_4_32", "children": [ { "id": "_r_1_4_32_47" }, { "id": "_r_1_4_32_48" }, { "id": "_r_1_4_32_49" } ] } ] }, { "id": "_r_1_5" }, { "id": "_r_1_6", "children": [ { "id": "_r_1_6_50" }, { "id": "_r_1_6_51", "children": [ { "id": "_r_1_6_51_53" }, { "id": "_r_1_6_51_54" }, { "id": "_r_1_6_51_55" } ] }, { "id": "_r_1_6_52" } ] }, { "id": "_r_1_7", "children": [ { "id": "_r_1_7_57" }, { "id": "_r_1_7_58" }, { "id": "_r_1_7_59" } ] }, { "id": "_r_1_8" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_51_54" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_8" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_32_49" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_8" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_50" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_6_51_53" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_50" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_7_57" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_57" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_8" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_29_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_4_29_44" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_51_55" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_7_57" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_57" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_7_59" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_50" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_6_52" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_51_55" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_8" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_51_55" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_8" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_3_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_8" ] } ] } } }