Assertion list for term "return to mars".

Results from Ascent++: 1
astronaut CapableOfreturn to mars 0.28