Assertion list for term "pay for full amount of the debt".

Results from Ascent++: 1
depositor CapableOfpay for full amount of the debt 0.25