Assertion list for term "received by second".

Results from Ascent++: 1
signal ReceivesActionreceived by second 0.30