Assertion list
cash value (subgroup of value ) → ReceivesAction
Results from Ascent++: 2
cash value → ReceivesAction → reduced 0.25
cash value → ReceivesAction → stored within the memory of the… 0.25