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