what galaxy has constellation leo?
(AND astronomy.galaxy (JOIN astronomy.galaxy.constellation m.04h2q))