Assertion list
money (aspect of donor ) → AtLocation

Results from Ascent++: 1
moneyAtLocation the bank 0.25