Assertion: package's item | /r/HasProperty | subprogram
Facets:
Source sentences:
text: If the public items include cursors or subprograms, then the package must also have a body.
text: If the public items include cursors or subprograms, then the package must also have a body.