Assertion list for term "stall in red zone".

Results from Ascent++: 1
drive CapableOfstall in red zone 0.30