{ "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_19": { "name": "_r_19", "optional": false, "type": "XOR", "note": "" }, "_r_19_22_23": { "name": "_r_19_22_23", "optional": true, "type": "XOR", "note": "" }, "_r_19_22_23_25_26": { "name": "_r_19_22_23_25_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_22_23_25_27": { "name": "_r_19_22_23_25_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_22_23_25_28": { "name": "_r_19_22_23_25_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_22_24": { "name": "_r_19_22_24", "optional": true, "type": "XOR", "note": "" }, "_r_19_22_24_29_30": { "name": "_r_19_22_24_29_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_22_24_29_31": { "name": "_r_19_22_24_29_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_22_24_29_32": { "name": "_r_19_22_24_29_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_12_13": { "name": "_r_1_12_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_12_14": { "name": "_r_1_12_14", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_12_15": { "name": "_r_1_12_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_12_16": { "name": "_r_1_12_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_12_17": { "name": "_r_1_12_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_33": { "name": "_r_33", "optional": false, "type": "FEATURE", "note": "" }, "_r_33_34": { "name": "_r_33_34", "optional": false, "type": "XOR", "note": "" }, "_r_33_34_38_39": { "name": "_r_33_34_38_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_34_38_40": { "name": "_r_33_34_38_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_34_38_41": { "name": "_r_33_34_38_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_34_38_42": { "name": "_r_33_34_38_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_34_38_43": { "name": "_r_33_34_38_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_35": { "name": "_r_33_35", "optional": false, "type": "XOR", "note": "" }, "_r_33_35_50_51": { "name": "_r_33_35_50_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_35_50_52": { "name": "_r_33_35_50_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_36": { "name": "_r_33_36", "optional": false, "type": "XOR", "note": "" }, "_r_33_36_44_45": { "name": "_r_33_36_44_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_36_44_46": { "name": "_r_33_36_44_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_36_44_47": { "name": "_r_33_36_44_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_36_44_48": { "name": "_r_33_36_44_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_36_44_49": { "name": "_r_33_36_44_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_37": { "name": "_r_33_37", "optional": true, "type": "XOR", "note": "" }, "_r_33_37_53_54": { "name": "_r_33_37_53_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_33_37_53_55": { "name": "_r_33_37_53_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_56": { "name": "_r_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_58": { "name": "_r_56_58", "optional": true, "type": "OR", "note": "" }, "_r_56_58_78_79": { "name": "_r_56_58_78_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_58_78_80": { "name": "_r_56_58_78_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_59": { "name": "_r_56_59", "optional": false, "type": "XOR", "note": "" }, "_r_56_59_63_64": { "name": "_r_56_59_63_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_59_63_65": { "name": "_r_56_59_63_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_59_63_66": { "name": "_r_56_59_63_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_57": { "name": "_r_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_67": { "name": "_r_67", "optional": false, "type": "XOR", "note": "" }, "_r_67_70_71": { "name": "_r_67_70_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_67_70_72": { "name": "_r_67_70_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_67_70_73": { "name": "_r_67_70_73", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_12_13" }, { "id": "_r_1_12_14" }, { "id": "_r_1_12_15" }, { "id": "_r_1_12_16" }, { "id": "_r_1_12_17" } ] }, { "id": "_r_19", "children": [ { "id": "_r_19_22_23", "children": [ { "id": "_r_19_22_23_25_26" }, { "id": "_r_19_22_23_25_27" }, { "id": "_r_19_22_23_25_28" } ] }, { "id": "_r_19_22_24", "children": [ { "id": "_r_19_22_24_29_30" }, { "id": "_r_19_22_24_29_31" }, { "id": "_r_19_22_24_29_32" } ] } ] }, { "id": "_r_33", "children": [ { "id": "_r_33_34", "children": [ { "id": "_r_33_34_38_39" }, { "id": "_r_33_34_38_40" }, { "id": "_r_33_34_38_41" }, { "id": "_r_33_34_38_42" }, { "id": "_r_33_34_38_43" } ] }, { "id": "_r_33_35", "children": [ { "id": "_r_33_35_50_51" }, { "id": "_r_33_35_50_52" } ] }, { "id": "_r_33_36", "children": [ { "id": "_r_33_36_44_45" }, { "id": "_r_33_36_44_46" }, { "id": "_r_33_36_44_47" }, { "id": "_r_33_36_44_48" }, { "id": "_r_33_36_44_49" } ] }, { "id": "_r_33_37", "children": [ { "id": "_r_33_37_53_54" }, { "id": "_r_33_37_53_55" } ] } ] }, { "id": "_r_56", "children": [ { "id": "_r_56_58", "children": [ { "id": "_r_56_58_78_79" }, { "id": "_r_56_58_78_80" } ] }, { "id": "_r_56_59", "children": [ { "id": "_r_56_59_63_64" }, { "id": "_r_56_59_63_65" }, { "id": "_r_56_59_63_66" } ] } ] }, { "id": "_r_57" }, { "id": "_r_67", "children": [ { "id": "_r_67_70_71" }, { "id": "_r_67_70_72" }, { "id": "_r_67_70_73" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_36_44_47" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_73" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_71" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_56_58_78_80" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_71" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_56_58_78_79" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_38_43" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_71" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_38_42" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_72" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_36_44_45" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_73" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_38_43" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_72" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_36_44_46" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_73" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_12_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_22_23_25_28" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_12_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_22_24_29_32" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_36_44_48" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_71" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_36_44_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_71" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_19_22_24" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_71" ] } ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_36_44_48" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_72" ] } ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_19_22_24" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_72" ] } ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_38_40" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_73" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_12_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_71" ] } ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_36_44_49" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_72" ] } ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_38_39" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_73" ] } ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_56" ] }, { "type": "FeatureTerm", "operands": [ "_r_67_70_71" ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_19_22_24" ] }, { "type": "FeatureTerm", "operands": [ "_r_67_70_73" ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_38_41" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_73" ] } ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_33_34_38_42" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_67_70_71" ] } ] } ] } } }