which star system contains asteroid ceres?
(AND astronomy.star_system (JOIN astronomy.star_system.dwarf_planets m.0dv9zp))