Assertion: parameter's value | /r/HasProperty | transferred to the procedure
Facets:
value: from the main program
type: OTHER
Source sentences:
text: The parameter list allows variable values to be transferred from the main program to the procedure.