Assertion list for term "leave onto the r40".

Results from Ascent++: 1
turn CapableOfleave onto the r40 0.25