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