Assertion list for term "downshift on deceleration".

Results from Ascent++: 1
transmission CapableOfdownshift on deceleration 0.25