which asterism has vega
(AND astronomy.asterism (JOIN astronomy.asterism.stars m.080jt))