Assertion list for term "arrive at the asteroid".

Results from Ascent++: 1
spacecraft CapableOfarrive at the asteroid 0.49