Assertion: package's class | /r/HasProperty | defined in unique and separate namespace
Facets:
Source sentences:
text: If a German company named MySoft also creates a fractions package, but names it de.mysoft.fractions , then the classes in these two packages are defined in a unique and separate namespace.