A quantified predicate compares a value with a collection of
    values. It has the same form as a basic predicate except that the
    second operand must be a column select expression preceded by an
    ALL, ANY, or SOME comparison operator.

  quantified-predicate =

  --> value-expr --+-> = --+-+-> ALL --+-> ( col-select-expr ) -->
                   +-> <> -+ +-> ANY --+
                   +-> ^= -+ +-> SOME -+
                   +-> != -+
                   +-> < --+
                   +-> <= -+
                   +-> > --+
                   +-> >= -+

    The following table describes the value of the result based on
    the comparison of values for the quantified predicate.

    Table 8 Quantified Predicate Result Table

    Comparison of Values        Result

    ALL Quantifier

    If all comparisons are      True
    True
    If any comparisons are      False
    False
    If no comparisons are       True
    made
    Otherwise                   Unknown

    SOME and ANY Quantifiers

    If any comparisons are      True
    True
    If all comparisons are      False
    False
    If no comparisons are       True
    made
    Otherwise                   Unknown