Assertion: package's part | /r/HasProperty | optional
Facets:
Source sentences:
text: The private part of the specification is optional, and a package specification might not have a package body—the package body only exists to complete any incomplete items in the specification.