Assertion list
cash return (subgroup of return ) → ReceivesAction
Results from Ascent++: 1
cash return → ReceivesAction → provided as reference 0.68