{ "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_14": { "name": "_r_14", "optional": false, "type": "XOR", "note": "" }, "_r_14_15_16": { "name": "_r_14_15_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_17": { "name": "_r_14_15_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_18": { "name": "_r_14_15_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_19": { "name": "_r_14_15_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_20": { "name": "_r_14_15_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_21": { "name": "_r_14_15_21", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_10": { "name": "_r_1_2_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_11": { "name": "_r_1_2_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_12": { "name": "_r_1_2_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_13": { "name": "_r_1_2_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_3": { "name": "_r_1_2_3", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_4": { "name": "_r_1_2_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_5": { "name": "_r_1_2_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_6": { "name": "_r_1_2_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_7": { "name": "_r_1_2_7", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_8": { "name": "_r_1_2_8", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_2_9": { "name": "_r_1_2_9", "optional": true, "type": "FEATURE", "note": "" }, "_r_22": { "name": "_r_22", "optional": false, "type": "XOR", "note": "" }, "_r_22_23_24": { "name": "_r_22_23_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_25": { "name": "_r_22_23_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_26": { "name": "_r_22_23_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_27": { "name": "_r_22_23_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_28": { "name": "_r_22_23_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_29": { "name": "_r_22_23_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_30": { "name": "_r_22_23_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_31": { "name": "_r_22_23_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_32": { "name": "_r_22_23_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_33": { "name": "_r_22_23_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_34": { "name": "_r_22_23_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_35": { "name": "_r_22_23_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_36": { "name": "_r_22_23_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_37": { "name": "_r_22_23_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_38": { "name": "_r_38", "optional": false, "type": "XOR", "note": "" }, "_r_38_39_40": { "name": "_r_38_39_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_41": { "name": "_r_38_39_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_42": { "name": "_r_38_39_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_43": { "name": "_r_38_39_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_44": { "name": "_r_38_39_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_45": { "name": "_r_38_39_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_46": { "name": "_r_38_39_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_47": { "name": "_r_38_39_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_48": { "name": "_r_38_39_48", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_49": { "name": "_r_38_39_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_50": { "name": "_r_38_39_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_51": { "name": "_r_38_39_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_53": { "name": "_r_38_39_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_54": { "name": "_r_38_39_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_55": { "name": "_r_38_39_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_56": { "name": "_r_38_39_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_57": { "name": "_r_38_39_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_58": { "name": "_r_38_39_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_59": { "name": "_r_38_39_59", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_60": { "name": "_r_38_39_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_61": { "name": "_r_38_39_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_62": { "name": "_r_38_39_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_63": { "name": "_r_38_39_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_64": { "name": "_r_38_39_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_65": { "name": "_r_38_39_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_66": { "name": "_r_38_39_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_67": { "name": "_r_38_39_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_68": { "name": "_r_38_39_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_69": { "name": "_r_38_39_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_38_39_70": { "name": "_r_38_39_70", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2_10" }, { "id": "_r_1_2_11" }, { "id": "_r_1_2_12" }, { "id": "_r_1_2_13" }, { "id": "_r_1_2_3" }, { "id": "_r_1_2_4" }, { "id": "_r_1_2_5" }, { "id": "_r_1_2_6" }, { "id": "_r_1_2_7" }, { "id": "_r_1_2_8" }, { "id": "_r_1_2_9" } ] }, { "id": "_r_14", "children": [ { "id": "_r_14_15_16" }, { "id": "_r_14_15_17" }, { "id": "_r_14_15_18" }, { "id": "_r_14_15_19" }, { "id": "_r_14_15_20" }, { "id": "_r_14_15_21" } ] }, { "id": "_r_22", "children": [ { "id": "_r_22_23_24" }, { "id": "_r_22_23_25" }, { "id": "_r_22_23_26" }, { "id": "_r_22_23_27" }, { "id": "_r_22_23_28" }, { "id": "_r_22_23_29" }, { "id": "_r_22_23_30" }, { "id": "_r_22_23_31" }, { "id": "_r_22_23_32" }, { "id": "_r_22_23_33" }, { "id": "_r_22_23_34" }, { "id": "_r_22_23_35" }, { "id": "_r_22_23_36" }, { "id": "_r_22_23_37" } ] }, { "id": "_r_38", "children": [ { "id": "_r_38_39_40" }, { "id": "_r_38_39_41" }, { "id": "_r_38_39_42" }, { "id": "_r_38_39_43" }, { "id": "_r_38_39_44" }, { "id": "_r_38_39_45" }, { "id": "_r_38_39_46" }, { "id": "_r_38_39_47" }, { "id": "_r_38_39_48" }, { "id": "_r_38_39_49" }, { "id": "_r_38_39_50" }, { "id": "_r_38_39_51" }, { "id": "_r_38_39_53" }, { "id": "_r_38_39_54" }, { "id": "_r_38_39_55" }, { "id": "_r_38_39_56" }, { "id": "_r_38_39_57" }, { "id": "_r_38_39_58" }, { "id": "_r_38_39_59" }, { "id": "_r_38_39_60" }, { "id": "_r_38_39_61" }, { "id": "_r_38_39_62" }, { "id": "_r_38_39_63" }, { "id": "_r_38_39_64" }, { "id": "_r_38_39_65" }, { "id": "_r_38_39_66" }, { "id": "_r_38_39_67" }, { "id": "_r_38_39_68" }, { "id": "_r_38_39_69" }, { "id": "_r_38_39_70" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_21" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_39_40" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_16" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_39_66" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_17" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_39_66" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_18" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_39_61" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_19" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_39_56" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_20" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_39_50" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_21" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_39_40" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_39_70" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_16" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_39_70" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_18" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_39_56" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_39_61" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_20" ] }, { "type": "FeatureTerm", "operands": [ "_r_38_39_45" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_19" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_38_39_50" ] } ] } ] } } }