An expression on or above the precedence level of existence and nonemptiness tests.

no type hierarchy

no supertypes hierarchy

no subtypes hierarchy