{ "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_20": { "name": "_r_1_20", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_20_21": { "name": "_r_1_20_21", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_20_21_25": { "name": "_r_1_20_21_25", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_20_26": { "name": "_r_1_20_26", "optional": false, "type": "XOR", "note": "" }, "_r_1_20_26_27_28": { "name": "_r_1_20_26_27_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_20_26_27_29": { "name": "_r_1_20_26_27_29", "optional": true, "type": "XOR", "note": "" }, "_r_1_20_26_27_29_30_31": { "name": "_r_1_20_26_27_29_30_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_20_26_27_29_30_32": { "name": "_r_1_20_26_27_29_30_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_20_26_27_29_30_33": { "name": "_r_1_20_26_27_29_30_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5": { "name": "_r_1_5", "optional": false, "type": "XOR", "note": "" }, "_r_1_5_6_7": { "name": "_r_1_5_6_7", "optional": true, "type": "XOR", "note": "" }, "_r_1_5_6_7_9_10": { "name": "_r_1_5_6_7_9_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_7_9_11": { "name": "_r_1_5_6_7_9_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_7_9_12": { "name": "_r_1_5_6_7_9_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_7_9_13": { "name": "_r_1_5_6_7_9_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_8": { "name": "_r_1_5_6_8", "optional": true, "type": "XOR", "note": "" }, "_r_1_5_6_8_14_15": { "name": "_r_1_5_6_8_14_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_8_14_16": { "name": "_r_1_5_6_8_14_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_8_14_17": { "name": "_r_1_5_6_8_14_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_8_14_18": { "name": "_r_1_5_6_8_14_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_5_6_8_14_19": { "name": "_r_1_5_6_8_14_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_72": { "name": "_r_1_72", "optional": false, "type": "XOR", "note": "" }, "_r_1_72_73_74": { "name": "_r_1_72_73_74", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_72_73_75": { "name": "_r_1_72_73_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_96": { "name": "_r_1_96", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_34": { "name": "_r_2_34", "optional": false, "type": "XOR", "note": "" }, "_r_2_34_37_38": { "name": "_r_2_34_37_38", "optional": true, "type": "XOR", "note": "" }, "_r_2_34_37_38_39_40": { "name": "_r_2_34_37_38_39_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34_37_38_39_41": { "name": "_r_2_34_37_38_39_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34_37_38_39_42": { "name": "_r_2_34_37_38_39_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34_37_43": { "name": "_r_2_34_37_43", "optional": true, "type": "XOR", "note": "" }, "_r_2_34_37_43_46_47": { "name": "_r_2_34_37_43_46_47", "optional": true, "type": "XOR", "note": "" }, "_r_2_34_37_43_46_47_49_50": { "name": "_r_2_34_37_43_46_47_49_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34_37_43_46_47_49_51": { "name": "_r_2_34_37_43_46_47_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34_37_43_46_47_49_52": { "name": "_r_2_34_37_43_46_47_49_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34_37_43_46_47_49_53": { "name": "_r_2_34_37_43_46_47_49_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34_37_43_46_48": { "name": "_r_2_34_37_43_46_48", "optional": true, "type": "XOR", "note": "" }, "_r_2_34_37_43_46_48_54_55": { "name": "_r_2_34_37_43_46_48_54_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34_37_43_46_48_54_56": { "name": "_r_2_34_37_43_46_48_54_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_34_37_43_46_48_54_57": { "name": "_r_2_34_37_43_46_48_54_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_58": { "name": "_r_2_58", "optional": false, "type": "XOR", "note": "" }, "_r_2_58_59_60": { "name": "_r_2_58_59_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_58_59_61": { "name": "_r_2_58_59_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_62": { "name": "_r_2_62", "optional": false, "type": "XOR", "note": "" }, "_r_2_62_63_64": { "name": "_r_2_62_63_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_62_63_65": { "name": "_r_2_62_63_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_76": { "name": "_r_2_76", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_78": { "name": "_r_2_78", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_78_80": { "name": "_r_2_78_80", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_78_81": { "name": "_r_2_78_81", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_78_82": { "name": "_r_2_78_82", "optional": true, "type": "OR", "note": "" }, "_r_2_78_82_83_84": { "name": "_r_2_78_82_83_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_78_82_83_85": { "name": "_r_2_78_82_83_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_86": { "name": "_r_2_86", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_86_87": { "name": "_r_2_86_87", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_86_88": { "name": "_r_2_86_88", "optional": false, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_69": { "name": "_r_4_69", "optional": false, "type": "XOR", "note": "" }, "_r_4_69_70_71": { "name": "_r_4_69_70_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_69_70_72": { "name": "_r_4_69_70_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_89": { "name": "_r_4_89", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_89_90": { "name": "_r_4_89_90", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_89_91": { "name": "_r_4_89_91", "optional": false, "type": "FEATURE", "note": "" }, "_r_4_89_92": { "name": "_r_4_89_92", "optional": false, "type": "FEATURE", "note": "" }, "_r_51": { "name": "_r_51", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_52": { "name": "_r_51_52", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_53": { "name": "_r_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_54": { "name": "_r_51_54", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_54_55": { "name": "_r_51_54_55", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_54_56": { "name": "_r_51_54_56", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_54_57": { "name": "_r_51_54_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_54_57_59": { "name": "_r_51_54_57_59", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_54_57_60": { "name": "_r_51_54_57_60", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_54_57_75": { "name": "_r_51_54_57_75", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_54_58": { "name": "_r_51_54_58", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_61": { "name": "_r_51_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_62": { "name": "_r_51_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_63": { "name": "_r_51_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_63_64": { "name": "_r_51_63_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_63_66": { "name": "_r_51_63_66", "optional": true, "type": "XOR", "note": "" }, "_r_51_63_66_67_68": { "name": "_r_51_63_66_67_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_63_66_67_69": { "name": "_r_51_63_66_67_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_70": { "name": "_r_51_70", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_71": { "name": "_r_51_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_72": { "name": "_r_51_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_51_97": { "name": "_r_51_97", "optional": false, "type": "FEATURE", "note": "" }, "_r_51_98": { "name": "_r_51_98", "optional": false, "type": "FEATURE", "note": "" }, "_r_93": { "name": "_r_93", "optional": false, "type": "FEATURE", "note": "" }, "_r_93_94": { "name": "_r_93_94", "optional": false, "type": "FEATURE", "note": "" }, "_r_93_95": { "name": "_r_93_95", "optional": false, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_20", "children": [ { "id": "_r_1_20_21", "children": [ { "id": "_r_1_20_21_25" } ] }, { "id": "_r_1_20_26", "children": [ { "id": "_r_1_20_26_27_28" }, { "id": "_r_1_20_26_27_29", "children": [ { "id": "_r_1_20_26_27_29_30_31" }, { "id": "_r_1_20_26_27_29_30_32" }, { "id": "_r_1_20_26_27_29_30_33" } ] } ] } ] }, { "id": "_r_1_5", "children": [ { "id": "_r_1_5_6_7", "children": [ { "id": "_r_1_5_6_7_9_10" }, { "id": "_r_1_5_6_7_9_11" }, { "id": "_r_1_5_6_7_9_12" }, { "id": "_r_1_5_6_7_9_13" } ] }, { "id": "_r_1_5_6_8", "children": [ { "id": "_r_1_5_6_8_14_15" }, { "id": "_r_1_5_6_8_14_16" }, { "id": "_r_1_5_6_8_14_17" }, { "id": "_r_1_5_6_8_14_18" }, { "id": "_r_1_5_6_8_14_19" } ] } ] }, { "id": "_r_1_72", "children": [ { "id": "_r_1_72_73_74" }, { "id": "_r_1_72_73_75" } ] }, { "id": "_r_1_96" } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_34", "children": [ { "id": "_r_2_34_37_38", "children": [ { "id": "_r_2_34_37_38_39_40" }, { "id": "_r_2_34_37_38_39_41" }, { "id": "_r_2_34_37_38_39_42" } ] }, { "id": "_r_2_34_37_43", "children": [ { "id": "_r_2_34_37_43_46_47", "children": [ { "id": "_r_2_34_37_43_46_47_49_50" }, { "id": "_r_2_34_37_43_46_47_49_51" }, { "id": "_r_2_34_37_43_46_47_49_52" }, { "id": "_r_2_34_37_43_46_47_49_53" } ] }, { "id": "_r_2_34_37_43_46_48", "children": [ { "id": "_r_2_34_37_43_46_48_54_55" }, { "id": "_r_2_34_37_43_46_48_54_56" }, { "id": "_r_2_34_37_43_46_48_54_57" } ] } ] } ] }, { "id": "_r_2_58", "children": [ { "id": "_r_2_58_59_60" }, { "id": "_r_2_58_59_61" } ] }, { "id": "_r_2_62", "children": [ { "id": "_r_2_62_63_64" }, { "id": "_r_2_62_63_65" } ] }, { "id": "_r_2_76" }, { "id": "_r_2_78", "children": [ { "id": "_r_2_78_80" }, { "id": "_r_2_78_81" }, { "id": "_r_2_78_82", "children": [ { "id": "_r_2_78_82_83_84" }, { "id": "_r_2_78_82_83_85" } ] } ] }, { "id": "_r_2_86", "children": [ { "id": "_r_2_86_87" }, { "id": "_r_2_86_88" } ] } ] }, { "id": "_r_3" }, { "id": "_r_4", "children": [ { "id": "_r_4_69", "children": [ { "id": "_r_4_69_70_71" }, { "id": "_r_4_69_70_72" } ] }, { "id": "_r_4_89", "children": [ { "id": "_r_4_89_90" }, { "id": "_r_4_89_91" }, { "id": "_r_4_89_92" } ] } ] }, { "id": "_r_51", "children": [ { "id": "_r_51_52" }, { "id": "_r_51_53" }, { "id": "_r_51_54", "children": [ { "id": "_r_51_54_55" }, { "id": "_r_51_54_56" }, { "id": "_r_51_54_57", "children": [ { "id": "_r_51_54_57_59" }, { "id": "_r_51_54_57_60" }, { "id": "_r_51_54_57_75" } ] }, { "id": "_r_51_54_58" } ] }, { "id": "_r_51_61" }, { "id": "_r_51_62" }, { "id": "_r_51_63", "children": [ { "id": "_r_51_63_64" }, { "id": "_r_51_63_66", "children": [ { "id": "_r_51_63_66_67_68" }, { "id": "_r_51_63_66_67_69" } ] } ] }, { "id": "_r_51_70" }, { "id": "_r_51_71" }, { "id": "_r_51_72" }, { "id": "_r_51_97" }, { "id": "_r_51_98" } ] }, { "id": "_r_93", "children": [ { "id": "_r_93_94" }, { "id": "_r_93_95" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_58_59_60" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_62_63_64" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_51_53" ] }, { "type": "FeatureTerm", "operands": [ "_r_51_61" ] } ] } } }