Assertion list for term "continue to rt".

Results from Ascent++: 1
turn CapableOfcontinue to rt 0.27