{ "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_1_5": { "name": "_r_1_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6": { "name": "_r_1_5_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_32": { "name": "_r_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_33": { "name": "_r_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_34": { "name": "_r_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_35": { "name": "_r_35", "optional": false, "type": "FEATURE", "note": "" }, "_r_39": { "name": "_r_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_39_40": { "name": "_r_39_40", "optional": false, "type": "FEATURE", "note": "" }, "_r_39_41": { "name": "_r_39_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_42": { "name": "_r_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_43": { "name": "_r_43", "optional": false, "type": "FEATURE", "note": "" }, "_r_43_44": { "name": "_r_43_44", "optional": false, "type": "FEATURE", "note": "" }, "_r_43_46": { "name": "_r_43_46", "optional": false, "type": "FEATURE", "note": "" }, "_r_43_46_49": { "name": "_r_43_46_49", "optional": false, "type": "FEATURE", "note": "" }, "_r_43_46_50": { "name": "_r_43_46_50", "optional": false, "type": "FEATURE", "note": "" }, "_r_43_47": { "name": "_r_43_47", "optional": false, "type": "FEATURE", "note": "" }, "_r_43_48": { "name": "_r_43_48", "optional": false, "type": "FEATURE", "note": "" }, "_r_51": { "name": "_r_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_52": { "name": "_r_52", "optional": false, "type": "FEATURE", "note": "" }, "_r_52_53": { "name": "_r_52_53", "optional": false, "type": "FEATURE", "note": "" }, "_r_52_54": { "name": "_r_52_54", "optional": false, "type": "FEATURE", "note": "" }, "_r_52_54_55": { "name": "_r_52_54_55", "optional": false, "type": "FEATURE", "note": "" }, "_r_52_54_56": { "name": "_r_52_54_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_52_54_57": { "name": "_r_52_54_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_58": { "name": "_r_58", "optional": false, "type": "FEATURE", "note": "" }, "_r_58_59": { "name": "_r_58_59", "optional": false, "type": "FEATURE", "note": "" }, "_r_58_60": { "name": "_r_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_58_61": { "name": "_r_58_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_62": { "name": "_r_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_62_64": { "name": "_r_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_62_65": { "name": "_r_62_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_66": { "name": "_r_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_66_67": { "name": "_r_66_67", "optional": false, "type": "FEATURE", "note": "" }, "_r_66_67_69": { "name": "_r_66_67_69", "optional": false, "type": "FEATURE", "note": "" }, "_r_66_67_70": { "name": "_r_66_67_70", "optional": false, "type": "FEATURE", "note": "" }, "_r_66_67_72": { "name": "_r_66_67_72", "optional": false, "type": "FEATURE", "note": "" }, "_r_66_67_73": { "name": "_r_66_67_73", "optional": false, "type": "FEATURE", "note": "" }, "_r_66_68": { "name": "_r_66_68", "optional": false, "type": "FEATURE", "note": "" }, "_r_7": { "name": "_r_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_74": { "name": "_r_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_75": { "name": "_r_74_75", "optional": false, "type": "FEATURE", "note": "" }, "_r_74_76": { "name": "_r_74_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_77": { "name": "_r_74_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_74_78": { "name": "_r_74_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_79": { "name": "_r_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_79_80": { "name": "_r_79_80", "optional": false, "type": "FEATURE", "note": "" }, "_r_79_81": { "name": "_r_79_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_8": { "name": "_r_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_82": { "name": "_r_82", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_17": { "name": "_r_8_17", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_17_36": { "name": "_r_8_17_36", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_17_37": { "name": "_r_8_17_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_17_38": { "name": "_r_8_17_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9": { "name": "_r_8_9", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_10": { "name": "_r_8_9_10", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_11": { "name": "_r_8_9_11", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_12": { "name": "_r_8_9_12", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_13": { "name": "_r_8_9_13", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_13_18": { "name": "_r_8_9_13_18", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_13_19": { "name": "_r_8_9_13_19", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_13_20": { "name": "_r_8_9_13_20", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_13_20_22": { "name": "_r_8_9_13_20_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_13_21": { "name": "_r_8_9_13_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_13_23": { "name": "_r_8_9_13_23", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_13_23_24": { "name": "_r_8_9_13_23_24", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_13_23_25": { "name": "_r_8_9_13_23_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_13_23_26": { "name": "_r_8_9_13_23_26", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_13_23_27": { "name": "_r_8_9_13_23_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_13_23_28": { "name": "_r_8_9_13_23_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_9_13_23_29": { "name": "_r_8_9_13_23_29", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_13_23_30": { "name": "_r_8_9_13_23_30", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_13_31": { "name": "_r_8_9_13_31", "optional": false, "type": "FEATURE", "note": "" }, "_r_8_9_14": { "name": "_r_8_9_14", "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_5", "children": [ { "id": "_r_1_5_6" } ] } ] }, { "id": "_r_32" }, { "id": "_r_33" }, { "id": "_r_34" }, { "id": "_r_35" }, { "id": "_r_39", "children": [ { "id": "_r_39_40" }, { "id": "_r_39_41" } ] }, { "id": "_r_42" }, { "id": "_r_43", "children": [ { "id": "_r_43_44" }, { "id": "_r_43_46", "children": [ { "id": "_r_43_46_49" }, { "id": "_r_43_46_50" } ] }, { "id": "_r_43_47" }, { "id": "_r_43_48" } ] }, { "id": "_r_51" }, { "id": "_r_52", "children": [ { "id": "_r_52_53" }, { "id": "_r_52_54", "children": [ { "id": "_r_52_54_55" }, { "id": "_r_52_54_56" }, { "id": "_r_52_54_57" } ] } ] }, { "id": "_r_58", "children": [ { "id": "_r_58_59" }, { "id": "_r_58_60" }, { "id": "_r_58_61" } ] }, { "id": "_r_62", "children": [ { "id": "_r_62_64" }, { "id": "_r_62_65" } ] }, { "id": "_r_66", "children": [ { "id": "_r_66_67", "children": [ { "id": "_r_66_67_69" }, { "id": "_r_66_67_70" }, { "id": "_r_66_67_72" }, { "id": "_r_66_67_73" } ] }, { "id": "_r_66_68" } ] }, { "id": "_r_7" }, { "id": "_r_74", "children": [ { "id": "_r_74_75" }, { "id": "_r_74_76" }, { "id": "_r_74_77" }, { "id": "_r_74_78" } ] }, { "id": "_r_79", "children": [ { "id": "_r_79_80" }, { "id": "_r_79_81" } ] }, { "id": "_r_8", "children": [ { "id": "_r_8_17", "children": [ { "id": "_r_8_17_36" }, { "id": "_r_8_17_37" }, { "id": "_r_8_17_38" } ] }, { "id": "_r_8_9", "children": [ { "id": "_r_8_9_10" }, { "id": "_r_8_9_11" }, { "id": "_r_8_9_12" }, { "id": "_r_8_9_13", "children": [ { "id": "_r_8_9_13_18" }, { "id": "_r_8_9_13_19" }, { "id": "_r_8_9_13_20", "children": [ { "id": "_r_8_9_13_20_22" } ] }, { "id": "_r_8_9_13_21" }, { "id": "_r_8_9_13_23", "children": [ { "id": "_r_8_9_13_23_24" }, { "id": "_r_8_9_13_23_25" }, { "id": "_r_8_9_13_23_26" }, { "id": "_r_8_9_13_23_27" }, { "id": "_r_8_9_13_23_28" }, { "id": "_r_8_9_13_23_29" }, { "id": "_r_8_9_13_23_30" } ] }, { "id": "_r_8_9_13_31" } ] }, { "id": "_r_8_9_14" } ] } ] }, { "id": "_r_82" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_35" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_13_23" ] }, { "type": "FeatureTerm", "operands": [ "_r_39_40" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_39_40" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_14" ] }, { "type": "FeatureTerm", "operands": [ "_r_39_40" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_10" ] }, { "type": "FeatureTerm", "operands": [ "_r_39_40" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_11" ] }, { "type": "FeatureTerm", "operands": [ "_r_39_40" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_35" ] }, { "type": "FeatureTerm", "operands": [ "_r_52_53" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_9_13_23_30" ] }, { "type": "FeatureTerm", "operands": [ "_r_66_67_70" ] } ] } } }