Assertion list for term "get to zero".

Results from Ascent++: 1
speed (aspect of tank) CapableOfget to zero 0.25