Ascent++ | passed to the procedure

Assertion list for term "passed to the procedure".

Results from Ascent++: 4

argument → ReceivesAction → passed to the procedure	0.37
value (`aspect` of parameter) → ReceivesAction → passed to the procedure	0.25
parameter (`aspect` of function) → ReceivesAction → passed to the procedure	0.22
value (`aspect` of function) → ReceivesAction → passed to the procedure	0.11