Assertion list for term "stay on the r40".

Results from Ascent++: 1
turn CapableOfstay on the r40 0.27