Ascent++ | received at receive record step

Assertion list for term "received at receive record step".

Results from Ascent++: 1

communication system → ReceivesAction → received at receive record step

0.25