Assertion: following example | /r/HasProperty | regulartype
Facets:
Source sentences:
text: The following example, type(a) is a "regular" type, and type(type(a)) is a metatype.