Assertion list for term "slow down to halt".

Results from Ascent++: 1
acceleration CapableOfslow down to halt 0.32