Assertion: package | /r/HasAspect | body
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.
text: The package has both specification and body.