which constellation is vega in?
(AND astronomy.constellation (JOIN (R astronomy.asterism.constellations) (JOIN astronomy.asterism.stars m.080jt)))