Assertion list for term "received in respective slot".

Results from Ascent++: 1
tongue ReceivesActionreceived in respective slot 0.37