{ "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_1_10_11": { "name": "_r_1_10_11", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_10_12": { "name": "_r_1_10_12", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_10_13": { "name": "_r_1_10_13", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": false, "type": "XOR", "note": "" }, "_r_2_14_15": { "name": "_r_2_14_15", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_14_16": { "name": "_r_2_14_16", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_14_17": { "name": "_r_2_14_17", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_14_18": { "name": "_r_2_14_18", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_14_19": { "name": "_r_2_14_19", "optional": true, "type": "FEATURE", "note": "" }, "_r_3": { "name": "_r_3", "optional": false, "type": "XOR", "note": "" }, "_r_3_20_21": { "name": "_r_3_20_21", "optional": true, "type": "XOR", "note": "" }, "_r_3_20_21_55_56": { "name": "_r_3_20_21_55_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_21_55_57": { "name": "_r_3_20_21_55_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_21_55_58": { "name": "_r_3_20_21_55_58", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_22": { "name": "_r_3_20_22", "optional": true, "type": "XOR", "note": "" }, "_r_3_20_22_51_52": { "name": "_r_3_20_22_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_22_51_53": { "name": "_r_3_20_22_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_3_20_22_51_54": { "name": "_r_3_20_22_51_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_4": { "name": "_r_4", "optional": false, "type": "XOR", "note": "" }, "_r_4_23_24": { "name": "_r_4_23_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_23_25": { "name": "_r_4_23_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_23_26": { "name": "_r_4_23_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_23_27": { "name": "_r_4_23_27", "optional": true, "type": "FEATURE", "note": "" }, "_r_4_23_28": { "name": "_r_4_23_28", "optional": true, "type": "FEATURE", "note": "" }, "_r_5": { "name": "_r_5", "optional": false, "type": "XOR", "note": "" }, "_r_5_29_30": { "name": "_r_5_29_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_5_29_31": { "name": "_r_5_29_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_6": { "name": "_r_6", "optional": false, "type": "XOR", "note": "" }, "_r_6_32_33": { "name": "_r_6_32_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_32_34": { "name": "_r_6_32_34", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_32_35": { "name": "_r_6_32_35", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_32_36": { "name": "_r_6_32_36", "optional": true, "type": "FEATURE", "note": "" }, "_r_6_32_37": { "name": "_r_6_32_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_7": { "name": "_r_7", "optional": true, "type": "XOR", "note": "" }, "_r_7_38_39": { "name": "_r_7_38_39", "optional": true, "type": "FEATURE", "note": "" }, "_r_7_38_40": { "name": "_r_7_38_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_8": { "name": "_r_8", "optional": true, "type": "XOR", "note": "" }, "_r_8_41_42": { "name": "_r_8_41_42", "optional": true, "type": "OR", "note": "" }, "_r_8_41_42_48_49": { "name": "_r_8_41_42_48_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_41_42_48_50": { "name": "_r_8_41_42_48_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_41_43": { "name": "_r_8_41_43", "optional": true, "type": "XOR", "note": "" }, "_r_8_41_43_44_45": { "name": "_r_8_41_43_44_45", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_41_43_44_46": { "name": "_r_8_41_43_44_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_8_41_43_44_47": { "name": "_r_8_41_43_44_47", "optional": true, "type": "FEATURE", "note": "" }, "_r_9": { "name": "_r_9", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_10_11" }, { "id": "_r_1_10_12" }, { "id": "_r_1_10_13" } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_14_15" }, { "id": "_r_2_14_16" }, { "id": "_r_2_14_17" }, { "id": "_r_2_14_18" }, { "id": "_r_2_14_19" } ] }, { "id": "_r_3", "children": [ { "id": "_r_3_20_21", "children": [ { "id": "_r_3_20_21_55_56" }, { "id": "_r_3_20_21_55_57" }, { "id": "_r_3_20_21_55_58" } ] }, { "id": "_r_3_20_22", "children": [ { "id": "_r_3_20_22_51_52" }, { "id": "_r_3_20_22_51_53" }, { "id": "_r_3_20_22_51_54" } ] } ] }, { "id": "_r_4", "children": [ { "id": "_r_4_23_24" }, { "id": "_r_4_23_25" }, { "id": "_r_4_23_26" }, { "id": "_r_4_23_27" }, { "id": "_r_4_23_28" } ] }, { "id": "_r_5", "children": [ { "id": "_r_5_29_30" }, { "id": "_r_5_29_31" } ] }, { "id": "_r_6", "children": [ { "id": "_r_6_32_33" }, { "id": "_r_6_32_34" }, { "id": "_r_6_32_35" }, { "id": "_r_6_32_36" }, { "id": "_r_6_32_37" } ] }, { "id": "_r_7", "children": [ { "id": "_r_7_38_39" }, { "id": "_r_7_38_40" } ] }, { "id": "_r_8", "children": [ { "id": "_r_8_41_42", "children": [ { "id": "_r_8_41_42_48_49" }, { "id": "_r_8_41_42_48_50" } ] }, { "id": "_r_8_41_43", "children": [ { "id": "_r_8_41_43_44_45" }, { "id": "_r_8_41_43_44_46" }, { "id": "_r_8_41_43_44_47" } ] } ] }, { "id": "_r_9" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_14_17" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_21_55_58" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_14_16" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_21_55_58" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_14_15" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_21_55_58" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_14_19" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_3_20_21_55_58" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_10_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_8_41_42_48_50" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_10_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_32_37" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_10_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_23_28" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_10_12" ] }, { "type": "FeatureTerm", "operands": [ "_r_2_14_19" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_10_12" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_6_32_37" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_10_11" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_4_23_28" ] } ] } ] } } }