Assertion list for term "continue to operate after 5,000 tumbles".

Results from Ascent++: 1
scanner CapableOfcontinue to operate after 5,000 tumbles 0.31