Assertion: manifesto | /r/CapableOf | present a type theory
Facets:
Source sentences:
text: The Third Manifesto also presents a type theory that serves as a basis for a comprehensive model of type inheritance.