Assertion list for term "protected by procedure".

Results from Ascent++: 1
computer ReceivesActionprotected by procedure 0.40