Assertion list for term "smash into mars".

Results from Ascent++: 1
asteroid CapableOfsmash into mars 0.40