{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_12": { "name": "_r_12", "optional": false, "type": "OR", "note": "" }, "_r_12_13_14": { "name": "_r_12_13_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_13_15": { "name": "_r_12_13_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_12_13_16": { "name": "_r_12_13_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_17": { "name": "_r_17", "optional": false, "type": "OR", "note": "" }, "_r_17_18_28": { "name": "_r_17_18_28", "optional": true, "type": "OR", "note": "" }, "_r_17_18_28_50_51": { "name": "_r_17_18_28_50_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_28_50_52": { "name": "_r_17_18_28_50_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_30": { "name": "_r_17_18_30", "optional": true, "type": "OR", "note": "" }, "_r_17_18_30_31_32": { "name": "_r_17_18_30_31_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_30_31_32_34": { "name": "_r_17_18_30_31_32_34", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_18_30_31_32_35": { "name": "_r_17_18_30_31_32_35", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_18_30_31_32_36": { "name": "_r_17_18_30_31_32_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_30_31_32_37": { "name": "_r_17_18_30_31_32_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_30_31_33": { "name": "_r_17_18_30_31_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_30_31_33_38": { "name": "_r_17_18_30_31_33_38", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_18_30_31_33_39": { "name": "_r_17_18_30_31_33_39", "optional": false, "type": "FEATURE", "note": "" }, "_r_17_18_30_31_33_40": { "name": "_r_17_18_30_31_33_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_30_31_33_41": { "name": "_r_17_18_30_31_33_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_66": { "name": "_r_17_66", "optional": false, "type": "OR", "note": "" }, "_r_17_66_67_68": { "name": "_r_17_66_67_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_66_67_69": { "name": "_r_17_66_67_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "OR", "note": "" }, "_r_2_3_10": { "name": "_r_2_3_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_4": { "name": "_r_2_3_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_5": { "name": "_r_2_3_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_6": { "name": "_r_2_3_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_8": { "name": "_r_2_3_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_9": { "name": "_r_2_3_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_42": { "name": "_r_42", "optional": false, "type": "XOR", "note": "" }, "_r_42_57_58": { "name": "_r_42_57_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_42_57_59": { "name": "_r_42_57_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_42_69_70": { "name": "_r_42_69_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_42_69_71": { "name": "_r_42_69_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_42_69_72": { "name": "_r_42_69_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_42_69_73": { "name": "_r_42_69_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_53": { "name": "_r_53", "optional": true, "type": "OR", "note": "" }, "_r_53_56_57": { "name": "_r_53_56_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_56_59": { "name": "_r_53_56_59", "optional": true, "type": "OR", "note": "" }, "_r_53_56_59_42_43": { "name": "_r_53_56_59_42_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_56_59_42_45": { "name": "_r_53_56_59_42_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_56_59_42_46": { "name": "_r_53_56_59_42_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_62": { "name": "_r_53_62", "optional": false, "type": "XOR", "note": "" }, "_r_53_62_63_64": { "name": "_r_53_62_63_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_53_62_63_65": { "name": "_r_53_62_63_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_65": { "name": "_r_65", "optional": true, "type": "OR", "note": "" }, "_r_65_42_43": { "name": "_r_65_42_43", "optional": true, "type": "XOR", "note": "" }, "_r_65_42_43_49_50": { "name": "_r_65_42_43_49_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_65_42_43_49_51": { "name": "_r_65_42_43_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_65_42_45": { "name": "_r_65_42_45", "optional": true, "type": "XOR", "note": "" }, "_r_65_42_45_46_47": { "name": "_r_65_42_45_46_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_65_42_45_46_48": { "name": "_r_65_42_45_46_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_65_42_52": { "name": "_r_65_42_52", "optional": true, "type": "XOR", "note": "" }, "_r_65_42_52_54_55": { "name": "_r_65_42_52_54_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_65_42_52_54_56": { "name": "_r_65_42_52_54_56", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_12", "children": [ { "id": "_r_12_13_14" }, { "id": "_r_12_13_15" }, { "id": "_r_12_13_16" } ] }, { "id": "_r_17", "children": [ { "id": "_r_17_18_28", "children": [ { "id": "_r_17_18_28_50_51" }, { "id": "_r_17_18_28_50_52" } ] }, { "id": "_r_17_18_30", "children": [ { "id": "_r_17_18_30_31_32", "children": [ { "id": "_r_17_18_30_31_32_34" }, { "id": "_r_17_18_30_31_32_35" }, { "id": "_r_17_18_30_31_32_36" }, { "id": "_r_17_18_30_31_32_37" } ] }, { "id": "_r_17_18_30_31_33", "children": [ { "id": "_r_17_18_30_31_33_38" }, { "id": "_r_17_18_30_31_33_39" }, { "id": "_r_17_18_30_31_33_40" }, { "id": "_r_17_18_30_31_33_41" } ] } ] }, { "id": "_r_17_66", "children": [ { "id": "_r_17_66_67_68" }, { "id": "_r_17_66_67_69" } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_3_10" }, { "id": "_r_2_3_4" }, { "id": "_r_2_3_5" }, { "id": "_r_2_3_6" }, { "id": "_r_2_3_8" }, { "id": "_r_2_3_9" } ] }, { "id": "_r_42", "children": [ { "id": "_r_42_57_58" }, { "id": "_r_42_57_59" }, { "id": "_r_42_69_70" }, { "id": "_r_42_69_71" }, { "id": "_r_42_69_72" }, { "id": "_r_42_69_73" } ] }, { "id": "_r_53", "children": [ { "id": "_r_53_56_57" }, { "id": "_r_53_56_59", "children": [ { "id": "_r_53_56_59_42_43" }, { "id": "_r_53_56_59_42_45" }, { "id": "_r_53_56_59_42_46" } ] }, { "id": "_r_53_62", "children": [ { "id": "_r_53_62_63_64" }, { "id": "_r_53_62_63_65" } ] } ] }, { "id": "_r_65", "children": [ { "id": "_r_65_42_43", "children": [ { "id": "_r_65_42_43_49_50" }, { "id": "_r_65_42_43_49_51" } ] }, { "id": "_r_65_42_45", "children": [ { "id": "_r_65_42_45_46_47" }, { "id": "_r_65_42_45_46_48" } ] }, { "id": "_r_65_42_52", "children": [ { "id": "_r_65_42_52_54_55" }, { "id": "_r_65_42_52_54_56" } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_56_57" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_53_62_63_65" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_3_10" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_18_30" ] }, { "type": "FeatureTerm", "operands": [ "_r_42_69_70" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_18_30_31_33" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_66_67_68" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_18_30_31_32_36" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_18_28_50_52" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_18_30_31_32_37" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_18_28_50_52" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_18_30_31_33_40" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_18_28_50_52" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_18_30_31_33_41" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_18_28_50_52" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_42_69_71" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_42_57_59" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_3_6" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_18_30_31_32" ] } ] } } }