which celestial object is in category of binary asteroid?
(AND astronomy.celestial_object (JOIN astronomy.celestial_object.category m.01_5zx))