Assertion list for term "remain with the lessor".

Results from Ascent++: 1
risk CapableOfremain with the lessor 0.47