Assertion: package | /r/HasAspect | specification
Facets:
value: always
type: TEMPORAL
Source sentences:
text: A package always has a specification, which declares the public items that can be referenced from outside the package.
text: The package has both specification and body.
text: A package always has a specification, which declares the public items that can be referenced from outside the package.