how many celestial objects are included in the category of binary asteroid?
(COUNT (AND astronomy.celestial_object (JOIN (R astronomy.celestial_object_category.objects) m.01_5zx)))