Assertion list for term "assigned to formal parameters".
Results from Ascent++: 1
value (aspect of parameter) → ReceivesAction → assigned to formal parameters 0.28