Assertion: spacecraft's destination | /r/HasProperty | vesta
Facets:
Source sentences:
text: First Dawn was the first spacecraft to orbit two extraterrestrial destinations (Vesta and Ceres).
text: Destinations: Vesta and Ceres