Assertion list for term "leave on to the r425".

Results from Ascent++: 1
turn CapableOfleave on to the r425 0.25