{ "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_13": { "name": "_r_13", "optional": false, "type": "XOR", "note": "" }, "_r_13_16_17": { "name": "_r_13_16_17", "optional": true, "type": "XOR", "note": "" }, "_r_13_16_17_19_20": { "name": "_r_13_16_17_19_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_16_17_19_21": { "name": "_r_13_16_17_19_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_16_17_19_22": { "name": "_r_13_16_17_19_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_16_18": { "name": "_r_13_16_18", "optional": true, "type": "XOR", "note": "" }, "_r_13_16_18_23_24": { "name": "_r_13_16_18_23_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_16_18_23_25": { "name": "_r_13_16_18_23_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_16_18_23_26": { "name": "_r_13_16_18_23_26", "optional": true, "type": "FEATURE", "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_1_2_5": { "name": "_r_1_2_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_6": { "name": "_r_1_2_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7": { "name": "_r_1_2_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_27": { "name": "_r_27", "optional": false, "type": "FEATURE", "note": "" }, "_r_27_28": { "name": "_r_27_28", "optional": false, "type": "XOR", "note": "" }, "_r_27_28_44_45": { "name": "_r_27_28_44_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_28_44_46": { "name": "_r_27_28_44_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_28_44_47": { "name": "_r_27_28_44_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_28_44_48": { "name": "_r_27_28_44_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_28_44_49": { "name": "_r_27_28_44_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_29": { "name": "_r_27_29", "optional": false, "type": "XOR", "note": "" }, "_r_27_29_41_42": { "name": "_r_27_29_41_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_29_41_43": { "name": "_r_27_29_41_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_30": { "name": "_r_27_30", "optional": false, "type": "XOR", "note": "" }, "_r_27_30_35_36": { "name": "_r_27_30_35_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_30_35_37": { "name": "_r_27_30_35_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_30_35_38": { "name": "_r_27_30_35_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_30_35_39": { "name": "_r_27_30_35_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_30_35_40": { "name": "_r_27_30_35_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_31": { "name": "_r_27_31", "optional": true, "type": "XOR", "note": "" }, "_r_27_31_32_33": { "name": "_r_27_31_32_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_27_31_32_34": { "name": "_r_27_31_32_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_50": { "name": "_r_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_50_52": { "name": "_r_50_52", "optional": true, "type": "OR", "note": "" }, "_r_50_52_55_56": { "name": "_r_50_52_55_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_50_52_55_57": { "name": "_r_50_52_55_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_50_54": { "name": "_r_50_54", "optional": false, "type": "XOR", "note": "" }, "_r_50_54_58_59": { "name": "_r_50_54_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_50_54_58_60": { "name": "_r_50_54_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_50_54_58_62": { "name": "_r_50_54_58_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_51": { "name": "_r_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_8": { "name": "_r_8", "optional": false, "type": "XOR", "note": "" }, "_r_8_9_10": { "name": "_r_8_9_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_11": { "name": "_r_8_9_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_12": { "name": "_r_8_9_12", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2_3" }, { "id": "_r_1_2_4" }, { "id": "_r_1_2_5" }, { "id": "_r_1_2_6" }, { "id": "_r_1_2_7" } ] }, { "id": "_r_13", "children": [ { "id": "_r_13_16_17", "children": [ { "id": "_r_13_16_17_19_20" }, { "id": "_r_13_16_17_19_21" }, { "id": "_r_13_16_17_19_22" } ] }, { "id": "_r_13_16_18", "children": [ { "id": "_r_13_16_18_23_24" }, { "id": "_r_13_16_18_23_25" }, { "id": "_r_13_16_18_23_26" } ] } ] }, { "id": "_r_27", "children": [ { "id": "_r_27_28", "children": [ { "id": "_r_27_28_44_45" }, { "id": "_r_27_28_44_46" }, { "id": "_r_27_28_44_47" }, { "id": "_r_27_28_44_48" }, { "id": "_r_27_28_44_49" } ] }, { "id": "_r_27_29", "children": [ { "id": "_r_27_29_41_42" }, { "id": "_r_27_29_41_43" } ] }, { "id": "_r_27_30", "children": [ { "id": "_r_27_30_35_36" }, { "id": "_r_27_30_35_37" }, { "id": "_r_27_30_35_38" }, { "id": "_r_27_30_35_39" }, { "id": "_r_27_30_35_40" } ] }, { "id": "_r_27_31", "children": [ { "id": "_r_27_31_32_33" }, { "id": "_r_27_31_32_34" } ] } ] }, { "id": "_r_50", "children": [ { "id": "_r_50_52", "children": [ { "id": "_r_50_52_55_56" }, { "id": "_r_50_52_55_57" } ] }, { "id": "_r_50_54", "children": [ { "id": "_r_50_54_58_59" }, { "id": "_r_50_54_58_60" }, { "id": "_r_50_54_58_62" } ] } ] }, { "id": "_r_51" }, { "id": "_r_8", "children": [ { "id": "_r_8_9_10" }, { "id": "_r_8_9_11" }, { "id": "_r_8_9_12" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_7" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_11" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_27_28_44_49" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_27_28_44_48" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_27_28_44_48" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_50_52_55_57" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_27_30_35_39" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_16_18" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_16_18" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_27_28_44_49" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_50_52_55_56" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_16_18_23_26" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_27_30_35_40" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_16_17_19_22" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_13_16_18" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_27_30_35_40" ] } ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_28_44_49" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_10" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_27_30_35_39" ] } ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_27_30_35_40" ] } ] } } }