{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "XOR", "note": "" }, "_r_1_2_3": { "name": "_r_1_2_3", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_4": { "name": "_r_1_2_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_23": { "name": "_r_23", "optional": false, "type": "FEATURE", "note": "" }, "_r_23_26": { "name": "_r_23_26", "optional": false, "type": "XOR", "note": "" }, "_r_23_26_27_28": { "name": "_r_23_26_27_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_23_26_27_29": { "name": "_r_23_26_27_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_23_30": { "name": "_r_23_30", "optional": true, "type": "XOR", "note": "" }, "_r_23_30_31_32": { "name": "_r_23_30_31_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_23_30_31_33": { "name": "_r_23_30_31_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_34": { "name": "_r_34", "optional": false, "type": "XOR", "note": "" }, "_r_34_35_36": { "name": "_r_34_35_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_34_35_36_37": { "name": "_r_34_35_36_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_34_35_39": { "name": "_r_34_35_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_41": { "name": "_r_41", "optional": true, "type": "XOR", "note": "" }, "_r_41_42_43": { "name": "_r_41_42_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_41_42_44": { "name": "_r_41_42_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": false, "type": "FEATURE", "note": "" }, "_r_6_10": { "name": "_r_6_10", "optional": false, "type": "FEATURE", "note": "" }, "_r_6_13": { "name": "_r_6_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_13_17": { "name": "_r_6_13_17", "optional": false, "type": "FEATURE", "note": "" }, "_r_6_13_18": { "name": "_r_6_13_18", "optional": false, "type": "FEATURE", "note": "" }, "_r_6_13_20": { "name": "_r_6_13_20", "optional": false, "type": "FEATURE", "note": "" }, "_r_6_13_21": { "name": "_r_6_13_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_13_21_22": { "name": "_r_6_13_21_22", "optional": false, "type": "FEATURE", "note": "" }, "_r_6_13_21_46": { "name": "_r_6_13_21_46", "optional": true, "type": "OR", "note": "" }, "_r_6_13_21_46_47_48": { "name": "_r_6_13_21_46_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_13_21_46_47_49": { "name": "_r_6_13_21_46_47_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_13_21_46_47_50": { "name": "_r_6_13_21_46_47_50", "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_3" }, { "id": "_r_1_2_4" } ] }, { "id": "_r_23", "children": [ { "id": "_r_23_26", "children": [ { "id": "_r_23_26_27_28" }, { "id": "_r_23_26_27_29" } ] }, { "id": "_r_23_30", "children": [ { "id": "_r_23_30_31_32" }, { "id": "_r_23_30_31_33" } ] } ] }, { "id": "_r_34", "children": [ { "id": "_r_34_35_36", "children": [ { "id": "_r_34_35_36_37" } ] }, { "id": "_r_34_35_39" } ] }, { "id": "_r_41", "children": [ { "id": "_r_41_42_43" }, { "id": "_r_41_42_44" } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_10" }, { "id": "_r_6_13", "children": [ { "id": "_r_6_13_17" }, { "id": "_r_6_13_18" }, { "id": "_r_6_13_20" }, { "id": "_r_6_13_21", "children": [ { "id": "_r_6_13_21_22" }, { "id": "_r_6_13_21_46", "children": [ { "id": "_r_6_13_21_46_47_48" }, { "id": "_r_6_13_21_46_47_49" }, { "id": "_r_6_13_21_46_47_50" } ] } ] } ] }, { "id": "_r_6_7" }, { "id": "_r_6_8" }, { "id": "_r_6_9" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_23_26_27_28" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_13_21_46_47_50" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_23_30_31_32" ] }, { "type": "FeatureTerm", "operands": [ "_r_6_13_21_46_47_50" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_13_21_22" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_41_42_44" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_23_30_31_32" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_41_42_44" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_23_30_31_32" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_34_35_39" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_23_30_31_32" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_41_42_43" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_23_26_27_28" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_41_42_43" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_23_26_27_28" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_34_35_39" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_13_21_22" ] }, { "type": "FeatureTerm", "operands": [ "_r_23_30" ] } ] } } }