Assertion: package's namespace | /r/HasProperty | unique
Facets:
Source sentences:
text: A Java package organizes Java classes into namespaces, providing a unique namespace for each type it contains.
text: The naming conventions describe how to create unique package names, so that packages that are widely distributed will have unique namespaces.