Assertion: package's subprogram | /r/HasProperty | defined in the body
Facets:
Source sentences:
text: New subprograms, types and objects can be defined in the body that are not visible to the users of the package.