Assertion: sorted logic | /r/HasSubevent | a type theory
Facets:
value: naturally
type: MANNER
Source sentences:
text: A many-sorted logic however naturally leads to a type theory.