{ "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_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_22": { "name": "_r_22", "optional": false, "type": "FEATURE", "note": "" }, "_r_22_23": { "name": "_r_22_23", "optional": false, "type": "XOR", "note": "" }, "_r_22_23_24_25": { "name": "_r_22_23_24_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_24_26": { "name": "_r_22_23_24_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_24_27": { "name": "_r_22_23_24_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_24_28": { "name": "_r_22_23_24_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_23_24_29": { "name": "_r_22_23_24_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_30": { "name": "_r_22_30", "optional": false, "type": "XOR", "note": "" }, "_r_22_30_31_32": { "name": "_r_22_30_31_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_30_31_33": { "name": "_r_22_30_31_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_34": { "name": "_r_22_34", "optional": false, "type": "XOR", "note": "" }, "_r_22_34_35_36": { "name": "_r_22_34_35_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_34_35_37": { "name": "_r_22_34_35_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_34_35_38": { "name": "_r_22_34_35_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_34_35_39": { "name": "_r_22_34_35_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_34_35_40": { "name": "_r_22_34_35_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_41": { "name": "_r_22_41", "optional": true, "type": "XOR", "note": "" }, "_r_22_41_42_43": { "name": "_r_22_41_42_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_22_41_42_44": { "name": "_r_22_41_42_44", "optional": true, "type": "FEATURE", "note": "" }, "_r_46": { "name": "_r_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47": { "name": "_r_46_47", "optional": false, "type": "OR", "note": "" }, "_r_46_47_49_50": { "name": "_r_46_47_49_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_47_49_51": { "name": "_r_46_47_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_48": { "name": "_r_46_48", "optional": false, "type": "XOR", "note": "" }, "_r_46_48_52_53": { "name": "_r_46_48_52_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_48_52_54": { "name": "_r_46_48_52_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_46_48_52_55": { "name": "_r_46_48_52_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": false, "type": "XOR", "note": "" }, "_r_6_8_10": { "name": "_r_6_8_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_8_11": { "name": "_r_6_8_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_8_12": { "name": "_r_6_8_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_8_13": { "name": "_r_6_8_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_8_9": { "name": "_r_6_8_9", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_2_3" }, { "id": "_r_1_2_4" }, { "id": "_r_1_2_5" } ] }, { "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", "children": [ { "id": "_r_22_23_24_25" }, { "id": "_r_22_23_24_26" }, { "id": "_r_22_23_24_27" }, { "id": "_r_22_23_24_28" }, { "id": "_r_22_23_24_29" } ] }, { "id": "_r_22_30", "children": [ { "id": "_r_22_30_31_32" }, { "id": "_r_22_30_31_33" } ] }, { "id": "_r_22_34", "children": [ { "id": "_r_22_34_35_36" }, { "id": "_r_22_34_35_37" }, { "id": "_r_22_34_35_38" }, { "id": "_r_22_34_35_39" }, { "id": "_r_22_34_35_40" } ] }, { "id": "_r_22_41", "children": [ { "id": "_r_22_41_42_43" }, { "id": "_r_22_41_42_44" } ] } ] }, { "id": "_r_46", "children": [ { "id": "_r_46_47", "children": [ { "id": "_r_46_47_49_50" }, { "id": "_r_46_47_49_51" } ] }, { "id": "_r_46_48", "children": [ { "id": "_r_46_48_52_53" }, { "id": "_r_46_48_52_54" }, { "id": "_r_46_48_52_55" } ] } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_8_10" }, { "id": "_r_6_8_11" }, { "id": "_r_6_8_12" }, { "id": "_r_6_8_13" }, { "id": "_r_6_8_9" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_22_34_35_38" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_22_34_35_38" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_22_23_24_27" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_15_18" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_8_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_15_21" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_46_47_49_50" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_22_23_24_27" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_46_47_49_51" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_8_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_15_21" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_15_18" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_15_21" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_8_13" ] } ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_8_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_15_18" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "FeatureTerm", "operands": [ "_r_22_23_24_29" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_2_3" ] }, { "type": "FeatureTerm", "operands": [ "_r_22_34_35_40" ] } ] } } }