Assertion list for term "release the borrower".

Results from Ascent++: 1
lender CapableOfrelease the borrower 0.45