Assertion: package's type | /r/HasProperty | derived in following example
Facets:
Source sentences:
text: In the following example, a type is derived in both of the two nested packages Disks and Books .