Assertion list for term "described in step".

Results from Ascent++: 1
process ReceivesActiondescribed in step 0.42