Assertion: expression's type | /r/HasProperty | a subtype of top
Facets:
Source sentences:
text: ; top type theory ⊤ means the top or universal type; every type in the type system of interest is a subtype of top.