Assertion list for term "paid for less than the full amount".

Results from Ascent++: 1
account (aspect of bank) ReceivesActionpaid for less than the full amount 0.25