9 Metis is one of the biggest main belt asteroids .
9 Metis is one of the larger main-belt asteroids .