Assertion list for term "finance result".

Results from Ascent++: 1
borrowing CapableOffinance result 0.20