Assertion: underlying logic | /r/CapableOf | form category
Facets:
Source sentences:
text: This is just the first step required to demonstrate that channel theory, and its underlying substructural logic, form a category.