Assertion list for term "leave onto rt".

Results from Ascent++: 1
turn CapableOfleave onto rt 0.43