{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_10": { "name": "_r_1_10", "optional": false, "type": "OR", "note": "" }, "_r_1_10_38_39": { "name": "_r_1_10_38_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_10_38_40": { "name": "_r_1_10_38_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_10_38_63": { "name": "_r_1_10_38_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4": { "name": "_r_1_4", "optional": false, "type": "XOR", "note": "" }, "_r_1_4_11_12": { "name": "_r_1_4_11_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_11_16": { "name": "_r_1_4_11_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_11_17": { "name": "_r_1_4_11_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_11_18": { "name": "_r_1_4_11_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_11_19": { "name": "_r_1_4_11_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5": { "name": "_r_1_5", "optional": false, "type": "XOR", "note": "" }, "_r_1_55": { "name": "_r_1_55", "optional": false, "type": "XOR", "note": "" }, "_r_1_55_56_57": { "name": "_r_1_55_56_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_55_56_58": { "name": "_r_1_55_56_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_55_56_59": { "name": "_r_1_55_56_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_22_23": { "name": "_r_1_5_22_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_22_25": { "name": "_r_1_5_22_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_22_26": { "name": "_r_1_5_22_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_22_27": { "name": "_r_1_5_22_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_22_28": { "name": "_r_1_5_22_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6": { "name": "_r_1_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_29": { "name": "_r_1_6_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_30": { "name": "_r_1_6_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_33": { "name": "_r_1_6_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_6_62": { "name": "_r_1_6_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7": { "name": "_r_1_7", "optional": true, "type": "XOR", "note": "" }, "_r_1_7_34_35": { "name": "_r_1_7_34_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_34_36": { "name": "_r_1_7_34_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_7_34_60": { "name": "_r_1_7_34_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_42": { "name": "_r_2_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_42_46": { "name": "_r_2_42_46", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_43": { "name": "_r_2_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_43_50": { "name": "_r_2_43_50", "optional": false, "type": "OR", "note": "" }, "_r_2_43_50_51_52": { "name": "_r_2_43_50_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_43_50_51_53": { "name": "_r_2_43_50_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_43_50_51_57": { "name": "_r_2_43_50_51_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_43_50_51_58": { "name": "_r_2_43_50_51_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_43_50_51_59": { "name": "_r_2_43_50_51_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_43_50_51_61": { "name": "_r_2_43_50_51_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_45": { "name": "_r_2_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_45_60": { "name": "_r_2_45_60", "optional": true, "type": "XOR", "note": "" }, "_r_2_45_60_64_65": { "name": "_r_2_45_60_64_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_45_60_64_66": { "name": "_r_2_45_60_64_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_45_60_64_67": { "name": "_r_2_45_60_64_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_45_61": { "name": "_r_2_45_61", "optional": true, "type": "XOR", "note": "" }, "_r_2_45_61_68_69": { "name": "_r_2_45_61_68_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_45_61_68_70": { "name": "_r_2_45_61_68_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_45_61_68_71": { "name": "_r_2_45_61_68_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_45_62": { "name": "_r_2_45_62", "optional": true, "type": "XOR", "note": "" }, "_r_2_45_62_72_73": { "name": "_r_2_45_62_72_73", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_45_62_72_74": { "name": "_r_2_45_62_72_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_45_62_72_75": { "name": "_r_2_45_62_72_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": true, "type": "OR", "note": "" }, "_r_3_76_77": { "name": "_r_3_76_77", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_76_78": { "name": "_r_3_76_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_76_79": { "name": "_r_3_76_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_76_80": { "name": "_r_3_76_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_76_81": { "name": "_r_3_76_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_76_82": { "name": "_r_3_76_82", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_10", "children": [ { "id": "_r_1_10_38_39" }, { "id": "_r_1_10_38_40" }, { "id": "_r_1_10_38_63" } ] }, { "id": "_r_1_4", "children": [ { "id": "_r_1_4_11_12" }, { "id": "_r_1_4_11_16" }, { "id": "_r_1_4_11_17" }, { "id": "_r_1_4_11_18" }, { "id": "_r_1_4_11_19" } ] }, { "id": "_r_1_5", "children": [ { "id": "_r_1_5_22_23" }, { "id": "_r_1_5_22_25" }, { "id": "_r_1_5_22_26" }, { "id": "_r_1_5_22_27" }, { "id": "_r_1_5_22_28" } ] }, { "id": "_r_1_55", "children": [ { "id": "_r_1_55_56_57" }, { "id": "_r_1_55_56_58" }, { "id": "_r_1_55_56_59" } ] }, { "id": "_r_1_6", "children": [ { "id": "_r_1_6_29" }, { "id": "_r_1_6_30" }, { "id": "_r_1_6_33" }, { "id": "_r_1_6_62" } ] }, { "id": "_r_1_7", "children": [ { "id": "_r_1_7_34_35" }, { "id": "_r_1_7_34_36" }, { "id": "_r_1_7_34_60" } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_42", "children": [ { "id": "_r_2_42_46" } ] }, { "id": "_r_2_43", "children": [ { "id": "_r_2_43_50", "children": [ { "id": "_r_2_43_50_51_52" }, { "id": "_r_2_43_50_51_53" }, { "id": "_r_2_43_50_51_57" }, { "id": "_r_2_43_50_51_58" }, { "id": "_r_2_43_50_51_59" }, { "id": "_r_2_43_50_51_61" } ] } ] }, { "id": "_r_2_45", "children": [ { "id": "_r_2_45_60", "children": [ { "id": "_r_2_45_60_64_65" }, { "id": "_r_2_45_60_64_66" }, { "id": "_r_2_45_60_64_67" } ] }, { "id": "_r_2_45_61", "children": [ { "id": "_r_2_45_61_68_69" }, { "id": "_r_2_45_61_68_70" }, { "id": "_r_2_45_61_68_71" } ] }, { "id": "_r_2_45_62", "children": [ { "id": "_r_2_45_62_72_73" }, { "id": "_r_2_45_62_72_74" }, { "id": "_r_2_45_62_72_75" } ] } ] } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_76_77" }, { "id": "_r_3_76_78" }, { "id": "_r_3_76_79" }, { "id": "_r_3_76_80" }, { "id": "_r_3_76_81" }, { "id": "_r_3_76_82" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_62" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_10_38_63" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_34_36" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_43_50_51_59" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_76_80" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_6_62" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_45_60" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_45_62" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_11_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_5_22_25" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_45_62_72_75" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_55_56_59" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_11_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_5_22_26" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_45_62_72_73" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_55_56_59" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_76_79" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_11_19" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_10_38_40" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_11_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_76_77" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_45" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_7_34_60" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_43_50_51_59" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_55_56_59" ] } ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_34_36" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_76_81" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_42" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_55_56_57" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_45_60_64_65" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_55_56_59" ] } ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_76_80" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_76_82" ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_10_38_39" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_76_81" ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_11_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_5_22_25" ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_7_34_35" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_76_80" ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_11_19" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_10_38_40" ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_1_6" ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_43" ] }, { "type": "FeatureTerm", "operands": [ "_r_3_76_80" ] } ] } } }