which asterism is a part of vulpecula?
(AND astronomy.asterism (JOIN astronomy.asterism.constellations m.01d_y8))