{ "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_12": { "name": "_r_12", "optional": false, "type": "XOR", "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": "XOR", "note": "" }, "_r_17_18_19": { "name": "_r_17_18_19", "optional": true, "type": "XOR", "note": "" }, "_r_17_18_19_21_22": { "name": "_r_17_18_19_21_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_19_21_23": { "name": "_r_17_18_19_21_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_19_21_24": { "name": "_r_17_18_19_21_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_20": { "name": "_r_17_18_20", "optional": true, "type": "XOR", "note": "" }, "_r_17_18_20_25_26": { "name": "_r_17_18_20_25_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_20_25_27": { "name": "_r_17_18_20_25_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_17_18_20_25_28": { "name": "_r_17_18_20_25_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_29": { "name": "_r_1_29", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_4_5": { "name": "_r_1_4_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_6": { "name": "_r_1_4_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_7": { "name": "_r_1_4_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_8": { "name": "_r_1_4_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_4_9": { "name": "_r_1_4_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_30": { "name": "_r_30", "optional": false, "type": "XOR", "note": "" }, "_r_30_31_32": { "name": "_r_30_31_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_31_33": { "name": "_r_30_31_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_31_34": { "name": "_r_30_31_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_31_35": { "name": "_r_30_31_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_30_31_36": { "name": "_r_30_31_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_39": { "name": "_r_39", "optional": false, "type": "XOR", "note": "" }, "_r_39_40_41": { "name": "_r_39_40_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_39_40_42": { "name": "_r_39_40_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_43": { "name": "_r_43", "optional": false, "type": "XOR", "note": "" }, "_r_43_44_45": { "name": "_r_43_44_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_44_46": { "name": "_r_43_44_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_44_47": { "name": "_r_43_44_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_44_48": { "name": "_r_43_44_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_44_49": { "name": "_r_43_44_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_50": { "name": "_r_50", "optional": true, "type": "XOR", "note": "" }, "_r_50_51_52": { "name": "_r_50_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_50_51_53": { "name": "_r_50_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_54": { "name": "_r_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_55": { "name": "_r_54_55", "optional": true, "type": "OR", "note": "" }, "_r_54_55_58_59": { "name": "_r_54_55_58_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_55_58_60": { "name": "_r_54_55_58_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_61_62": { "name": "_r_54_61_62", "optional": false, "type": "XOR", "note": "" }, "_r_54_61_62_63_64": { "name": "_r_54_61_62_63_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_61_62_63_65": { "name": "_r_54_61_62_63_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_54_61_62_63_66": { "name": "_r_54_61_62_63_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_67": { "name": "_r_67", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_29" }, { "id": "_r_1_4_5" }, { "id": "_r_1_4_6" }, { "id": "_r_1_4_7" }, { "id": "_r_1_4_8" }, { "id": "_r_1_4_9" } ] }, { "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_19", "children": [ { "id": "_r_17_18_19_21_22" }, { "id": "_r_17_18_19_21_23" }, { "id": "_r_17_18_19_21_24" } ] }, { "id": "_r_17_18_20", "children": [ { "id": "_r_17_18_20_25_26" }, { "id": "_r_17_18_20_25_27" }, { "id": "_r_17_18_20_25_28" } ] } ] }, { "id": "_r_30", "children": [ { "id": "_r_30_31_32" }, { "id": "_r_30_31_33" }, { "id": "_r_30_31_34" }, { "id": "_r_30_31_35" }, { "id": "_r_30_31_36" } ] }, { "id": "_r_39", "children": [ { "id": "_r_39_40_41" }, { "id": "_r_39_40_42" } ] }, { "id": "_r_43", "children": [ { "id": "_r_43_44_45" }, { "id": "_r_43_44_46" }, { "id": "_r_43_44_47" }, { "id": "_r_43_44_48" }, { "id": "_r_43_44_49" } ] }, { "id": "_r_50", "children": [ { "id": "_r_50_51_52" }, { "id": "_r_50_51_53" } ] }, { "id": "_r_54", "children": [ { "id": "_r_54_55", "children": [ { "id": "_r_54_55_58_59" }, { "id": "_r_54_55_58_60" } ] }, { "id": "_r_54_61_62", "children": [ { "id": "_r_54_61_62_63_64" }, { "id": "_r_54_61_62_63_65" }, { "id": "_r_54_61_62_63_66" } ] } ] }, { "id": "_r_67" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_9" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_15" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_43_44_48" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_43_44_49" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_43_44_48" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_54_55_58_60" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_18_20" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_35" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_17_18_20" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_4_8" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_18_20_25_28" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_43_44_49" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_17_18_20" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_54_55_58_59" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_36" ] } ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_43_44_49" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_16" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_32" ] } ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_36" ] } ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_15" ] }, { "type": "FeatureTerm", "operands": [ "_r_54" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_16" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_33" ] } ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_14" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_35" ] } ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_12_13_16" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_30_31_34" ] } ] } ] } } }