Assertion: parameter's value | /r/HasProperty | copied into actual parameter
Facets:
Source sentences:
text: The value of the formal parameter is copied into the actual parameter when the procedure returns.