which galaxy has constellation horologium?
(AND astronomy.galaxy (JOIN astronomy.galaxy.constellation m.01f1c3))