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