Assertion: parameter's value | /r/HasProperty | passed into the body of the procedure
Facets:
Source sentences:
text: The direction of a parameter is either input, a value is passed into the body of the procedure, or output, the procedure returns a value to the calling program.