Assertion list for term "overwritten by the procedure".
Results from Ascent++: 1
value (aspect of parameter) → ReceivesAction → overwritten by the procedure 0.33