Assertion list
value capture (subgroup of capture ) → ReceivesAction
Results from Ascent++: 1
value capture → ReceivesAction → displayed in step 0.25