doradus is a constellation of what exoplanet?
(AND base.exoplanetology.exoplanet (JOIN base.exoplanetology.exoplanet.constellation m.02c1x))