{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_16": { "name": "_r_2_16", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_17": { "name": "_r_2_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_18": { "name": "_r_2_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_22": { "name": "_r_2_22", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_6": { "name": "_r_2_6", "optional": false, "type": "XOR", "note": "" }, "_r_2_6_19_20": { "name": "_r_2_6_19_20", "optional": true, "type": "OR", "note": "" }, "_r_2_6_19_20_56_57": { "name": "_r_2_6_19_20_56_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_6_19_20_56_58": { "name": "_r_2_6_19_20_56_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_6_19_20_56_59": { "name": "_r_2_6_19_20_56_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_6_19_20_56_60": { "name": "_r_2_6_19_20_56_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_6_19_21": { "name": "_r_2_6_19_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_23": { "name": "_r_3_23", "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": "OR", "note": "" }, "_r_3_25_26_27": { "name": "_r_3_25_26_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_25_26_27_29": { "name": "_r_3_25_26_27_29", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_25_26_28": { "name": "_r_3_25_26_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_30": { "name": "_r_3_30", "optional": false, "type": "FEATURE", "note": "" }, "_r_3_31": { "name": "_r_3_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_32": { "name": "_r_3_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_34": { "name": "_r_3_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_35": { "name": "_r_3_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_36": { "name": "_r_3_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_37": { "name": "_r_3_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_38": { "name": "_r_4_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_40": { "name": "_r_4_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_41": { "name": "_r_4_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_47": { "name": "_r_4_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_48": { "name": "_r_4_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_48_52": { "name": "_r_4_48_52", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_48_53": { "name": "_r_4_48_53", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_48_54": { "name": "_r_4_48_54", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_48_55": { "name": "_r_4_48_55", "optional": false, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_2", "children": [ { "id": "_r_2_16" }, { "id": "_r_2_17" }, { "id": "_r_2_18" }, { "id": "_r_2_22" }, { "id": "_r_2_6", "children": [ { "id": "_r_2_6_19_20", "children": [ { "id": "_r_2_6_19_20_56_57" }, { "id": "_r_2_6_19_20_56_58" }, { "id": "_r_2_6_19_20_56_59" }, { "id": "_r_2_6_19_20_56_60" } ] }, { "id": "_r_2_6_19_21" } ] } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_23" }, { "id": "_r_3_24" }, { "id": "_r_3_25", "children": [ { "id": "_r_3_25_26_27", "children": [ { "id": "_r_3_25_26_27_29" } ] }, { "id": "_r_3_25_26_28" } ] }, { "id": "_r_3_30" }, { "id": "_r_3_31" }, { "id": "_r_3_32" }, { "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_40" }, { "id": "_r_4_41" }, { "id": "_r_4_47" }, { "id": "_r_4_48", "children": [ { "id": "_r_4_48_52" }, { "id": "_r_4_48_53" }, { "id": "_r_4_48_54" }, { "id": "_r_4_48_55" } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_18" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_35" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_34" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_35" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_40" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_41" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_47" ] }, { "type": "FeatureTerm", "operands": [ "_r_4_48" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_38" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_40" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_31" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_37" ] } ] } ] } } }