Assertion: predicate's variable | /r/HasAspect | different sorts
Facets:
Source sentences:
text: Many-sorted first-order logic allows variables to have different sorts, which have different domains.