Assertion: minor planet designation | /r/HasProperty | given to minor planet
Facets:
Source sentences:
text: A formal minor planet designation is, in its final form, a number–name combination given to a minor planet (asteroid, centaur, trans-Neptunian object and dwarf planet but not comet).