Assertion list
pause (primary) → ReceivesAction
Results from Ascent++: 2
pause → ReceivesAction → made for refreshment 0.25
pause → ReceivesAction → marked by comma 0.25