Assertion list for term "executed as the user".

Results from Ascent++: 1
command ReceivesActionexecuted as the user 0.31