Assertion: container | /r/CapableOf | permit list
Facets:
Source sentences:
text: In type theory, containers are abstractions which permit various "collection types", such as lists and trees, to be represented in a uniform way.