Assertion: procedure parameter | /r/CapableOf | return value
Facets:
value: to the calling program
type: TRANSITIVE-OBJECT
Source sentences:
text: Procedure parameters can also return values to the calling program if the parameter is marked as an OUTPUT parameter.