{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_14": { "name": "_r_14", "optional": false, "type": "XOR", "note": "" }, "_r_14_15_16": { "name": "_r_14_15_16", "optional": true, "type": "XOR", "note": "" }, "_r_14_15_16_17_18": { "name": "_r_14_15_16_17_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_16_17_19": { "name": "_r_14_15_16_17_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_16_17_20": { "name": "_r_14_15_16_17_20", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_21": { "name": "_r_14_15_21", "optional": true, "type": "XOR", "note": "" }, "_r_14_15_21_24_25": { "name": "_r_14_15_21_24_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_21_24_26": { "name": "_r_14_15_21_24_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_14_15_21_24_27": { "name": "_r_14_15_21_24_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "XOR", "note": "" }, "_r_28": { "name": "_r_28", "optional": false, "type": "FEATURE", "note": "" }, "_r_28_29": { "name": "_r_28_29", "optional": false, "type": "XOR", "note": "" }, "_r_28_29_30_31": { "name": "_r_28_29_30_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_29_30_32": { "name": "_r_28_29_30_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_29_30_33": { "name": "_r_28_29_30_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_29_30_34": { "name": "_r_28_29_30_34", "optional": true, "type": "XOR", "note": "" }, "_r_28_29_30_34_35_36": { "name": "_r_28_29_30_34_35_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_29_30_34_35_37": { "name": "_r_28_29_30_34_35_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_38": { "name": "_r_28_38", "optional": false, "type": "XOR", "note": "" }, "_r_28_38_39_40": { "name": "_r_28_38_39_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_38_39_41": { "name": "_r_28_38_39_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_42": { "name": "_r_28_42", "optional": false, "type": "XOR", "note": "" }, "_r_28_42_44_45": { "name": "_r_28_42_44_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_42_44_46": { "name": "_r_28_42_44_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_42_44_47": { "name": "_r_28_42_44_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_42_44_48": { "name": "_r_28_42_44_48", "optional": true, "type": "XOR", "note": "" }, "_r_28_42_44_48_49_50": { "name": "_r_28_42_44_48_49_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_42_44_48_49_51": { "name": "_r_28_42_44_48_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_52": { "name": "_r_28_52", "optional": true, "type": "XOR", "note": "" }, "_r_28_52_53_54": { "name": "_r_28_52_53_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_28_52_53_55": { "name": "_r_28_52_53_55", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_4": { "name": "_r_2_3_4", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_5": { "name": "_r_2_3_5", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_3_6": { "name": "_r_2_3_6", "optional": true, "type": "FEATURE", "note": "" }, "_r_56": { "name": "_r_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_57": { "name": "_r_56_57", "optional": true, "type": "OR", "note": "" }, "_r_56_57_59_60": { "name": "_r_56_57_59_60", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_57_59_61": { "name": "_r_56_57_59_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_58": { "name": "_r_56_58", "optional": false, "type": "XOR", "note": "" }, "_r_56_58_62_63": { "name": "_r_56_58_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_58_62_64": { "name": "_r_56_58_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_56_58_62_65": { "name": "_r_56_58_62_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_66": { "name": "_r_66", "optional": true, "type": "FEATURE", "note": "" }, "_r_7": { "name": "_r_7", "optional": false, "type": "XOR", "note": "" }, "_r_7_8_10": { "name": "_r_7_8_10", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_8_11": { "name": "_r_7_8_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_8_12": { "name": "_r_7_8_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_8_13": { "name": "_r_7_8_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_8_9": { "name": "_r_7_8_9", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_14", "children": [ { "id": "_r_14_15_16", "children": [ { "id": "_r_14_15_16_17_18" }, { "id": "_r_14_15_16_17_19" }, { "id": "_r_14_15_16_17_20" } ] }, { "id": "_r_14_15_21", "children": [ { "id": "_r_14_15_21_24_25" }, { "id": "_r_14_15_21_24_26" }, { "id": "_r_14_15_21_24_27" } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_3_4" }, { "id": "_r_2_3_5" }, { "id": "_r_2_3_6" } ] }, { "id": "_r_28", "children": [ { "id": "_r_28_29", "children": [ { "id": "_r_28_29_30_31" }, { "id": "_r_28_29_30_32" }, { "id": "_r_28_29_30_33" }, { "id": "_r_28_29_30_34", "children": [ { "id": "_r_28_29_30_34_35_36" }, { "id": "_r_28_29_30_34_35_37" } ] } ] }, { "id": "_r_28_38", "children": [ { "id": "_r_28_38_39_40" }, { "id": "_r_28_38_39_41" } ] }, { "id": "_r_28_42", "children": [ { "id": "_r_28_42_44_45" }, { "id": "_r_28_42_44_46" }, { "id": "_r_28_42_44_47" }, { "id": "_r_28_42_44_48", "children": [ { "id": "_r_28_42_44_48_49_50" }, { "id": "_r_28_42_44_48_49_51" } ] } ] }, { "id": "_r_28_52", "children": [ { "id": "_r_28_52_53_54" }, { "id": "_r_28_52_53_55" } ] } ] }, { "id": "_r_56", "children": [ { "id": "_r_56_57", "children": [ { "id": "_r_56_57_59_60" }, { "id": "_r_56_57_59_61" } ] }, { "id": "_r_56_58", "children": [ { "id": "_r_56_58_62_63" }, { "id": "_r_56_58_62_64" }, { "id": "_r_56_58_62_65" } ] } ] }, { "id": "_r_66" }, { "id": "_r_7", "children": [ { "id": "_r_7_8_10" }, { "id": "_r_7_8_11" }, { "id": "_r_7_8_12" }, { "id": "_r_7_8_13" }, { "id": "_r_7_8_9" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29_30_34" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_21" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_14_15_21" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_14_15_21" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_7_8_13" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_28_42_44_48" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_29_30_34" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_6" ] }, { "type": "FeatureTerm", "operands": [ "_r_28_29_30_34" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_4" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_42_44_48" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_28_42_44_48" ] } ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_5" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_56_57" ] } ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_3_5" ] }, { "type": "FeatureTerm", "operands": [ "_r_56" ] } ] } } }