Assertion list for term "downshift to the lowest acceptable gear".
Results from Ascent++: 1
transmission → CapableOf → downshift to the lowest acceptable gear 0.30