{ "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_19": { "name": "_r_19", "optional": false, "type": "FEATURE", "note": "" }, "_r_19_20": { "name": "_r_19_20", "optional": false, "type": "XOR", "note": "" }, "_r_19_20_21_22": { "name": "_r_19_20_21_22", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_20_21_23": { "name": "_r_19_20_21_23", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_20_21_24": { "name": "_r_19_20_21_24", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_20_21_25": { "name": "_r_19_20_21_25", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_20_21_26": { "name": "_r_19_20_21_26", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_27": { "name": "_r_19_27", "optional": false, "type": "XOR", "note": "" }, "_r_19_27_28_29": { "name": "_r_19_27_28_29", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_27_28_30": { "name": "_r_19_27_28_30", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_27_28_31": { "name": "_r_19_27_28_31", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_27_28_32": { "name": "_r_19_27_28_32", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_27_28_33": { "name": "_r_19_27_28_33", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_34": { "name": "_r_19_34", "optional": true, "type": "XOR", "note": "" }, "_r_19_34_39_40": { "name": "_r_19_34_39_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_34_39_41": { "name": "_r_19_34_39_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_35": { "name": "_r_19_35", "optional": false, "type": "XOR", "note": "" }, "_r_19_35_36_37": { "name": "_r_19_35_36_37", "optional": true, "type": "FEATURE", "note": "" }, "_r_19_35_36_38": { "name": "_r_19_35_36_38", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_77_78": { "name": "_r_1_77_78", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_77_79": { "name": "_r_1_77_79", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_77_80": { "name": "_r_1_77_80", "optional": true, "type": "FEATURE", "note": "" }, "_r_42": { "name": "_r_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_43": { "name": "_r_43", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_44": { "name": "_r_43_44", "optional": true, "type": "XOR", "note": "" }, "_r_43_44_51_52": { "name": "_r_43_44_51_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_44_51_53": { "name": "_r_43_44_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_44_51_54": { "name": "_r_43_44_51_54", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_45": { "name": "_r_43_45", "optional": true, "type": "OR", "note": "" }, "_r_43_45_48_49": { "name": "_r_43_45_48_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_43_45_48_50": { "name": "_r_43_45_48_50", "optional": true, "type": "FEATURE", "note": "" }, "_r_57": { "name": "_r_57", "optional": false, "type": "XOR", "note": "" }, "_r_57_58_59": { "name": "_r_57_58_59", "optional": true, "type": "XOR", "note": "" }, "_r_57_58_59_62_63": { "name": "_r_57_58_59_62_63", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_58_59_62_64": { "name": "_r_57_58_59_62_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_58_59_62_65": { "name": "_r_57_58_59_62_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_58_61": { "name": "_r_57_58_61", "optional": true, "type": "XOR", "note": "" }, "_r_57_58_61_66_67": { "name": "_r_57_58_61_66_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_58_61_66_68": { "name": "_r_57_58_61_66_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_57_58_61_66_69": { "name": "_r_57_58_61_66_69", "optional": true, "type": "FEATURE", "note": "" }, "_r_81": { "name": "_r_81", "optional": false, "type": "XOR", "note": "" }, "_r_81_82_83": { "name": "_r_81_82_83", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_82_84": { "name": "_r_81_82_84", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_82_85": { "name": "_r_81_82_85", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_82_86": { "name": "_r_81_82_86", "optional": true, "type": "FEATURE", "note": "" }, "_r_81_82_87": { "name": "_r_81_82_87", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_77_78" }, { "id": "_r_1_77_79" }, { "id": "_r_1_77_80" } ] }, { "id": "_r_19", "children": [ { "id": "_r_19_20", "children": [ { "id": "_r_19_20_21_22" }, { "id": "_r_19_20_21_23" }, { "id": "_r_19_20_21_24" }, { "id": "_r_19_20_21_25" }, { "id": "_r_19_20_21_26" } ] }, { "id": "_r_19_27", "children": [ { "id": "_r_19_27_28_29" }, { "id": "_r_19_27_28_30" }, { "id": "_r_19_27_28_31" }, { "id": "_r_19_27_28_32" }, { "id": "_r_19_27_28_33" } ] }, { "id": "_r_19_34", "children": [ { "id": "_r_19_34_39_40" }, { "id": "_r_19_34_39_41" } ] }, { "id": "_r_19_35", "children": [ { "id": "_r_19_35_36_37" }, { "id": "_r_19_35_36_38" } ] } ] }, { "id": "_r_42" }, { "id": "_r_43", "children": [ { "id": "_r_43_44", "children": [ { "id": "_r_43_44_51_52" }, { "id": "_r_43_44_51_53" }, { "id": "_r_43_44_51_54" } ] }, { "id": "_r_43_45", "children": [ { "id": "_r_43_45_48_49" }, { "id": "_r_43_45_48_50" } ] } ] }, { "id": "_r_57", "children": [ { "id": "_r_57_58_59", "children": [ { "id": "_r_57_58_59_62_63" }, { "id": "_r_57_58_59_62_64" }, { "id": "_r_57_58_59_62_65" } ] }, { "id": "_r_57_58_61", "children": [ { "id": "_r_57_58_61_66_67" }, { "id": "_r_57_58_61_66_68" }, { "id": "_r_57_58_61_66_69" } ] } ] }, { "id": "_r_81", "children": [ { "id": "_r_81_82_83" }, { "id": "_r_81_82_84" }, { "id": "_r_81_82_85" }, { "id": "_r_81_82_86" }, { "id": "_r_81_82_87" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_77_79" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_20_21_24" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_77_80" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_27_28_33" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_77_79" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_81_82_87" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_57_58_59_62_65" ] }, { "type": "FeatureTerm", "operands": [ "_r_81_82_86" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_77_78" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_27_28_31" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_77_80" ] }, { "type": "FeatureTerm", "operands": [ "_r_57_58_61" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_77_79" ] }, { "type": "FeatureTerm", "operands": [ "_r_43" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_77_79" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_27_28_31" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_77_79" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_43_45" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_77_80" ] }, { "type": "FeatureTerm", "operands": [ "_r_57_58_61" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_77_78" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_20_21_24" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_77_80" ] }, { "type": "FeatureTerm", "operands": [ "_r_19_20_21_26" ] } ] } } }