Assertion list for term "credited with same amount".
Results from Ascent++: 1
account (aspect of bank) → ReceivesAction → credited with same amount 0.25