Assertion: asteroid belt's asteroid | /r/HasProperty | discovered by spacecraft
Facets:
Source sentences:
text: 3200) Phaethon, the first asteroid to be discovered by a spacecraft (the Infrared Astronomical Satellite in 1983).