Assertion list for term "move with constant acceleration".

Results from Ascent++: 1
elevator CapableOfmove with constant acceleration 0.33