what exoplanet is corona borealis a constellation of?
(AND base.exoplanetology.exoplanet (JOIN base.exoplanetology.exoplanet.constellation m.01wsp))