which galaxy has constellation lepus?
(AND astronomy.galaxy (JOIN astronomy.galaxy.constellation m.04lrj))