Assertion list for term "received at step".
Results from Ascent++: 3
command → ReceivesAction → received at step 0.37
message → ReceivesAction → received at step 0.33
signal → ReceivesAction → received at step 0.30