Assertion: argument | /r/HasProperty | supplied to the procedure
Facets:
Source sentences:
text: By contrast, the arguments are the expressions supplied to the procedure when it is called, usually one expression matching one of the parameters.