Assertion list for term "arrive at mars".

Results from Ascent++: 1
spacecraft CapableOfarrive at mars 0.48