Assertion list for term "recorded at step 124 of the process".

Results from Ascent++: 1
intersection ReceivesActionrecorded at step 124 of the process 0.25