Assertion: level package | /r/HasProperty | shelf
Facets:
Source sentences:
text: Unbounded is not needed by the top level package Shelf , hence its with clause doesn't appear here.