Assertion: asteroid belt's asteroid | /r/Synonym | 2001 kx76
Facets:
Source sentences:
text: The largest asteroid in the solar system is called "2001 KX76.