Assertion: minor planet designation | /r/HasProperty | a number–name combination
Facets:
value: in its final form
type: OTHER
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).