Assertion list
bank money (subgroup of money ) → ReceivesAction
Results from Ascent++: 2
bank money → ReceivesAction → created 0.60
bank money → ReceivesAction → destroyed 0.16