what is the name of a star found in the vulpecula constellation?
(AND astronomy.star (JOIN astronomy.star.constellation m.01d_y8))