Assertion: formal parameter | /r/HasProperty | modified in the procedure
Facets:
Source sentences:
text: When the formal parameter is modified in the procedure, the actual parameter is likewise modified.