Assertion list for term "passed to the show procedure".
Results from Ascent++: 1
parameter (aspect of function) → ReceivesAction → passed to the show procedure 0.28