{ "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_9": { "name": "_r_1_9", "optional": false, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_39": { "name": "_r_39", "optional": false, "type": "OR", "note": "" }, "_r_39_40_41": { "name": "_r_39_40_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_39_40_42": { "name": "_r_39_40_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_39_40_43": { "name": "_r_39_40_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_39_40_44": { "name": "_r_39_40_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": true, "type": "OR", "note": "" }, "_r_4_13_14": { "name": "_r_4_13_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_13_15": { "name": "_r_4_13_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": false, "type": "OR", "note": "" }, "_r_5_16_17": { "name": "_r_5_16_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_16_18": { "name": "_r_5_16_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_16_19": { "name": "_r_5_16_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": false, "type": "OR", "note": "" }, "_r_6_20_21": { "name": "_r_6_20_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_20_22": { "name": "_r_6_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_7": { "name": "_r_7", "optional": false, "type": "OR", "note": "" }, "_r_7_38_39": { "name": "_r_7_38_39", "optional": true, "type": "OR", "note": "" }, "_r_7_38_39_44_45": { "name": "_r_7_38_39_44_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_38_39_44_46": { "name": "_r_7_38_39_44_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_38_40": { "name": "_r_7_38_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_38_40_49": { "name": "_r_7_38_40_49", "optional": false, "type": "FEATURE", "note": "" }, "_r_7_38_41": { "name": "_r_7_38_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_38_41_50": { "name": "_r_7_38_41_50", "optional": false, "type": "FEATURE", "note": "" }, "_r_7_38_42": { "name": "_r_7_38_42", "optional": true, "type": "OR", "note": "" }, "_r_7_38_42_51_52": { "name": "_r_7_38_42_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_38_42_51_53": { "name": "_r_7_38_42_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_38_43": { "name": "_r_7_38_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_38_43_54": { "name": "_r_7_38_43_54", "optional": false, "type": "FEATURE", "note": "" }, "_r_8": { "name": "_r_8", "optional": true, "type": "OR", "note": "" }, "_r_8_55_56": { "name": "_r_8_55_56", "optional": true, "type": "OR", "note": "" }, "_r_8_55_56_58_59": { "name": "_r_8_55_56_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_55_56_58_60": { "name": "_r_8_55_56_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_55_56_58_61": { "name": "_r_8_55_56_58_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_55_57": { "name": "_r_8_55_57", "optional": true, "type": "OR", "note": "" }, "_r_8_55_57_62_63": { "name": "_r_8_55_57_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_55_57_62_64": { "name": "_r_8_55_57_62_64", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_10" }, { "id": "_r_1_11" }, { "id": "_r_1_9" } ] }, { "id": "_r_2" }, { "id": "_r_3" }, { "id": "_r_39", "children": [ { "id": "_r_39_40_41" }, { "id": "_r_39_40_42" }, { "id": "_r_39_40_43" }, { "id": "_r_39_40_44" } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_13_14" }, { "id": "_r_4_13_15" } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_16_17" }, { "id": "_r_5_16_18" }, { "id": "_r_5_16_19" } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_20_21" }, { "id": "_r_6_20_22" } ] }, { "id": "_r_7", "children": [ { "id": "_r_7_38_39", "children": [ { "id": "_r_7_38_39_44_45" }, { "id": "_r_7_38_39_44_46" } ] }, { "id": "_r_7_38_40", "children": [ { "id": "_r_7_38_40_49" } ] }, { "id": "_r_7_38_41", "children": [ { "id": "_r_7_38_41_50" } ] }, { "id": "_r_7_38_42", "children": [ { "id": "_r_7_38_42_51_52" }, { "id": "_r_7_38_42_51_53" } ] }, { "id": "_r_7_38_43", "children": [ { "id": "_r_7_38_43_54" } ] } ] }, { "id": "_r_8", "children": [ { "id": "_r_8_55_56", "children": [ { "id": "_r_8_55_56_58_59" }, { "id": "_r_8_55_56_58_60" }, { "id": "_r_8_55_56_58_61" } ] }, { "id": "_r_8_55_57", "children": [ { "id": "_r_8_55_57_62_63" }, { "id": "_r_8_55_57_62_64" } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_38_39" ] }, { "type": "FeatureTerm", "operands": [ "_r_8_55_56" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_38_40" ] }, { "type": "FeatureTerm", "operands": [ "_r_8_55_57" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_5_16_19" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_38_39" ] }, { "type": "FeatureTerm", "operands": [ "_r_8_55_56" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_38_40" ] }, { "type": "FeatureTerm", "operands": [ "_r_8_55_57" ] } ] } } }