Assertion: formal designation | /r/HasProperty | pluto
Facets:
Source sentences:
text: At that point, Pluto was given the formal designation (134340) Pluto.