Assertion: parameter's value | /r/HasProperty | initial
Facets:
Source sentences:
text: When the subprogram begins, the formal parameter has its initial value regardless of the value of its actual parameter.