the constellation corona borealis is in which galaxy?
(AND astronomy.galaxy (JOIN astronomy.galaxy.constellation m.01wsp))