{ "id": "FM__r", "name": "FM__r", "features": { "_r": { "name": "_r", "optional": true, "type": "FEATURE", "note": "" }, "_r_1": { "name": "_r_1", "optional": false, "type": "OR", "note": "" }, "_r_1_39_40": { "name": "_r_1_39_40", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_40_43": { "name": "_r_1_39_40_43", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_39_40_43_46": { "name": "_r_1_39_40_43_46", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_40_43_46_50": { "name": "_r_1_39_40_43_46_50", "optional": false, "type": "XOR", "note": "" }, "_r_1_39_40_43_46_50_55_56": { "name": "_r_1_39_40_43_46_50_55_56", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_40_43_46_50_55_56_58": { "name": "_r_1_39_40_43_46_50_55_56_58", "optional": true, "type": "XOR", "note": "" }, "_r_1_39_40_43_46_50_55_56_58_59": { "name": "_r_1_39_40_43_46_50_55_56_58_59", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_39_40_43_46_50_55_56_58_60_61": { "name": "_r_1_39_40_43_46_50_55_56_58_60_61", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_40_43_46_50_55_56_58_60_62": { "name": "_r_1_39_40_43_46_50_55_56_58_60_62", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_40_43_46_50_55_57": { "name": "_r_1_39_40_43_46_50_55_57", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_41": { "name": "_r_1_39_41", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_41_44": { "name": "_r_1_39_41_44", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_39_41_44_47": { "name": "_r_1_39_41_44_47", "optional": true, "type": "OR", "note": "" }, "_r_1_39_41_44_47_52_53": { "name": "_r_1_39_41_44_47_52_53", "optional": true, "type": "XOR", "note": "" }, "_r_1_39_41_44_47_52_53_63_64": { "name": "_r_1_39_41_44_47_52_53_63_64", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_41_44_47_52_53_63_65": { "name": "_r_1_39_41_44_47_52_53_63_65", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_41_44_47_52_54": { "name": "_r_1_39_41_44_47_52_54", "optional": true, "type": "XOR", "note": "" }, "_r_1_39_41_44_47_52_54_66_67": { "name": "_r_1_39_41_44_47_52_54_66_67", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_41_44_47_52_54_66_68": { "name": "_r_1_39_41_44_47_52_54_66_68", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_42": { "name": "_r_1_39_42", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_42_45": { "name": "_r_1_39_42_45", "optional": false, "type": "FEATURE", "note": "" }, "_r_1_39_42_45_49": { "name": "_r_1_39_42_45_49", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_42_45_49_51": { "name": "_r_1_39_42_45_49_51", "optional": false, "type": "XOR", "note": "" }, "_r_1_39_42_45_49_51_69_70": { "name": "_r_1_39_42_45_49_51_69_70", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_42_45_49_51_69_70_72": { "name": "_r_1_39_42_45_49_51_69_70_72", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_42_45_49_51_69_70_72_73": { "name": "_r_1_39_42_45_49_51_69_70_72_73", "optional": false, "type": "XOR", "note": "" }, "_r_1_39_42_45_49_51_69_70_72_73_74_75": { "name": "_r_1_39_42_45_49_51_69_70_72_73_74_75", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_42_45_49_51_69_70_72_73_74_76": { "name": "_r_1_39_42_45_49_51_69_70_72_73_74_76", "optional": true, "type": "FEATURE", "note": "" }, "_r_1_39_42_45_49_51_69_71": { "name": "_r_1_39_42_45_49_51_69_71", "optional": true, "type": "FEATURE", "note": "" }, "_r_2": { "name": "_r_2", "optional": true, "type": "OR", "note": "" }, "_r_2_50_51": { "name": "_r_2_50_51", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_50_51_53": { "name": "_r_2_50_51_53", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_50_51_55": { "name": "_r_2_50_51_55", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_50_52": { "name": "_r_2_50_52", "optional": true, "type": "FEATURE", "note": "" }, "_r_2_50_52_56": { "name": "_r_2_50_52_56", "optional": false, "type": "FEATURE", "note": "" }, "_r_2_50_52_57": { "name": "_r_2_50_52_57", "optional": false, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r", "children": [ { "id": "_r_1", "children": [ { "id": "_r_1_39_40", "children": [ { "id": "_r_1_39_40_43", "children": [ { "id": "_r_1_39_40_43_46", "children": [ { "id": "_r_1_39_40_43_46_50", "children": [ { "id": "_r_1_39_40_43_46_50_55_56", "children": [ { "id": "_r_1_39_40_43_46_50_55_56_58", "children": [ { "id": "_r_1_39_40_43_46_50_55_56_58_59" }, { "id": "_r_1_39_40_43_46_50_55_56_58_60_61" }, { "id": "_r_1_39_40_43_46_50_55_56_58_60_62" } ] } ] }, { "id": "_r_1_39_40_43_46_50_55_57" } ] } ] } ] } ] }, { "id": "_r_1_39_41", "children": [ { "id": "_r_1_39_41_44", "children": [ { "id": "_r_1_39_41_44_47", "children": [ { "id": "_r_1_39_41_44_47_52_53", "children": [ { "id": "_r_1_39_41_44_47_52_53_63_64" }, { "id": "_r_1_39_41_44_47_52_53_63_65" } ] }, { "id": "_r_1_39_41_44_47_52_54", "children": [ { "id": "_r_1_39_41_44_47_52_54_66_67" }, { "id": "_r_1_39_41_44_47_52_54_66_68" } ] } ] } ] } ] }, { "id": "_r_1_39_42", "children": [ { "id": "_r_1_39_42_45", "children": [ { "id": "_r_1_39_42_45_49", "children": [ { "id": "_r_1_39_42_45_49_51", "children": [ { "id": "_r_1_39_42_45_49_51_69_70", "children": [ { "id": "_r_1_39_42_45_49_51_69_70_72", "children": [ { "id": "_r_1_39_42_45_49_51_69_70_72_73", "children": [ { "id": "_r_1_39_42_45_49_51_69_70_72_73_74_75" }, { "id": "_r_1_39_42_45_49_51_69_70_72_73_74_76" } ] } ] } ] }, { "id": "_r_1_39_42_45_49_51_69_71" } ] } ] } ] } ] } ] }, { "id": "_r_2", "children": [ { "id": "_r_2_50_51", "children": [ { "id": "_r_2_50_51_53" }, { "id": "_r_2_50_51_55" } ] }, { "id": "_r_2_50_52", "children": [ { "id": "_r_2_50_52_56" }, { "id": "_r_2_50_52_57" } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_50_52_56" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_41" ] } ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_42" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_40_43_46_50_55_56_58_60_62" ] } ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_42" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_41_44_47_52_54_66_68" ] } ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_40" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_41_44_47_52_53_63_65" ] } ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_40" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_42_45_49_51_69_70_72_73_74_76" ] } ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_41" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_40_43_46_50_55_57" ] } ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_41" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_42_45_49_51_69_71" ] } ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_50_52_56" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_41" ] } ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_50_52_57" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_42" ] } ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_2_50_51_53" ] }, { "type": "NotTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r_1_39_40" ] } ] } ] } } }