Assertion: belt asteroid | /r/HasProperty | 1 ceres
Facets:
Source sentences:
text: The largest trans-Neptunian object (over 2000 km in diameter) is substantially larger than the biggest main-belt asteroid, 1 Ceres (948 km).