Assertion: package | /r/HasProperty | nested inside subprogram
Facets:
Source sentences:
text: A package may also be nested inside a subprogram.