"An expression on or above the precedence level of existence and nonemptiness tests." shared alias ExistsNonemptyExpression => SpanningExpression|ExistsOperation|NonemptyOperation;