Assertion: optional parameter | /r/CapableOf | specify a default value
Facets:
Source sentences:
text: Every optional parameter in the procedure definition must specify a default value.