Assertion: pascal's argument | /r/HasProperty | passed to procedure
Facets:
Source sentences:
text: When arguments are passed to a procedure, variables are declared within the brackets of the procedure, and must be separated by a semi-colon ";".