Assertion: classification's application | /r/HasProperty | categorical abstract machine
Facets:
Source sentences:
text: Applications to mathematical logic and semantics (categorical abstract machine) came later.