{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_13": { "name": "_r_13", "optional": false, "type": "XOR", "note": "" }, "_r_13_14_15": { "name": "_r_13_14_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_15_17": { "name": "_r_13_14_15_17", "optional": false, "type": "XOR", "note": "" }, "_r_13_14_15_17_18_19": { "name": "_r_13_14_15_17_18_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_15_17_18_20": { "name": "_r_13_14_15_17_18_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_15_21": { "name": "_r_13_14_15_21", "optional": false, "type": "XOR", "note": "" }, "_r_13_14_15_21_22_23": { "name": "_r_13_14_15_21_22_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_15_21_22_24": { "name": "_r_13_14_15_21_22_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_15_21_22_25": { "name": "_r_13_14_15_21_22_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_16": { "name": "_r_13_14_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_16_26": { "name": "_r_13_14_16_26", "optional": false, "type": "OR", "note": "" }, "_r_13_14_16_26_27_28": { "name": "_r_13_14_16_26_27_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_16_26_27_29": { "name": "_r_13_14_16_26_27_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_13_14_16_26_27_30": { "name": "_r_13_14_16_26_27_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_31": { "name": "_r_31", "optional": false, "type": "XOR", "note": "" }, "_r_31_32_33": { "name": "_r_31_32_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32_34": { "name": "_r_31_32_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32_35": { "name": "_r_31_32_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32_36": { "name": "_r_31_32_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_31_32_37": { "name": "_r_31_32_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_38": { "name": "_r_38", "optional": false, "type": "FEATURE", "note": "" }, "_r_38_39": { "name": "_r_38_39", "optional": false, "type": "XOR", "note": "" }, "_r_38_39_40_41": { "name": "_r_38_39_40_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_40_42": { "name": "_r_38_39_40_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_40_43": { "name": "_r_38_39_40_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_40_44": { "name": "_r_38_39_40_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_40_45": { "name": "_r_38_39_40_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_46": { "name": "_r_38_46", "optional": false, "type": "XOR", "note": "" }, "_r_38_46_47_48": { "name": "_r_38_46_47_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_46_47_49": { "name": "_r_38_46_47_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_50": { "name": "_r_38_50", "optional": false, "type": "XOR", "note": "" }, "_r_38_50_51_52": { "name": "_r_38_50_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_50_51_53": { "name": "_r_38_50_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_50_51_54": { "name": "_r_38_50_51_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_50_51_55": { "name": "_r_38_50_51_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_50_51_56": { "name": "_r_38_50_51_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_57": { "name": "_r_38_57", "optional": true, "type": "XOR", "note": "" }, "_r_38_57_58_59": { "name": "_r_38_57_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_57_58_60": { "name": "_r_38_57_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_61": { "name": "_r_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_62": { "name": "_r_61_62", "optional": false, "type": "FEATURE", "note": "" }, "_r_61_62_63": { "name": "_r_61_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_62_64": { "name": "_r_61_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_65": { "name": "_r_61_65", "optional": false, "type": "XOR", "note": "" }, "_r_61_65_66_67": { "name": "_r_61_65_66_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_65_66_68": { "name": "_r_61_65_66_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_61_65_66_69": { "name": "_r_61_65_66_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_70": { "name": "_r_70", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_13", "children": [ { "id": "_r_13_14_15", "children": [ { "id": "_r_13_14_15_17", "children": [ { "id": "_r_13_14_15_17_18_19" }, { "id": "_r_13_14_15_17_18_20" } ] }, { "id": "_r_13_14_15_21", "children": [ { "id": "_r_13_14_15_21_22_23" }, { "id": "_r_13_14_15_21_22_24" }, { "id": "_r_13_14_15_21_22_25" } ] } ] }, { "id": "_r_13_14_16", "children": [ { "id": "_r_13_14_16_26", "children": [ { "id": "_r_13_14_16_26_27_28" }, { "id": "_r_13_14_16_26_27_29" }, { "id": "_r_13_14_16_26_27_30" } ] } ] } ] }, { "id": "_r_31", "children": [ { "id": "_r_31_32_33" }, { "id": "_r_31_32_34" }, { "id": "_r_31_32_35" }, { "id": "_r_31_32_36" }, { "id": "_r_31_32_37" } ] }, { "id": "_r_38", "children": [ { "id": "_r_38_39", "children": [ { "id": "_r_38_39_40_41" }, { "id": "_r_38_39_40_42" }, { "id": "_r_38_39_40_43" }, { "id": "_r_38_39_40_44" }, { "id": "_r_38_39_40_45" } ] }, { "id": "_r_38_46", "children": [ { "id": "_r_38_46_47_48" }, { "id": "_r_38_46_47_49" } ] }, { "id": "_r_38_50", "children": [ { "id": "_r_38_50_51_52" }, { "id": "_r_38_50_51_53" }, { "id": "_r_38_50_51_54" }, { "id": "_r_38_50_51_55" }, { "id": "_r_38_50_51_56" } ] }, { "id": "_r_38_57", "children": [ { "id": "_r_38_57_58_59" }, { "id": "_r_38_57_58_60" } ] } ] }, { "id": "_r_61", "children": [ { "id": "_r_61_62", "children": [ { "id": "_r_61_62_63" }, { "id": "_r_61_62_64" } ] }, { "id": "_r_61_65", "children": [ { "id": "_r_61_65_66_67" }, { "id": "_r_61_65_66_68" }, { "id": "_r_61_65_66_69" } ] } ] }, { "id": "_r_70" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_15_17_18_20" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_31_32_37" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_39_40_43" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_15_21_22_25" ] }, { "type": "FeatureTerm", "operands": [ "_r_31_32_36" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_16_26_27_30" ] }, { "type": "FeatureTerm", "operands": [ "_r_31_32_36" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_15_17_18_20" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_61_62_64" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_39_40_45" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_50_51_54" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_50_51_56" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_15_17_18_20" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_61_62_63" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_13_14_15_17_18_20" ] }, { "type": "FeatureTerm", "operands": [ "_r_61" ] } ] } } }