Assertion list for term "generated at the completion of the command".

Results from Ascent++: 1
interrupt ReceivesActiongenerated at the completion of the command 0.32