Assertion: formal parameter | /r/HasProperty | assigned with new values
Facets:
Source sentences:
text: It must be assigned with new values before the end of the procedure or function.