Assertion: package's subprogram | /r/HasProperty | specified in package
Facets:
Source sentences:
text: * Fully define subprograms specified in package.