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