Input (grade 12): Ceres, formal designation 1 Ceres, is the smallest identified dwarf planet in the Solar System and the only one in the asteroid belt.
Output (grade 9): Ceres (,), also known as 1 Ceres, is the smallest dwarf planet in the Solar System and the only one in the main asteroid belt.