quantified_factor

quantified_factor 
      ::= 
      ( exp_simple comparaison_op [ "all" | "any" ] subquery ) 
      | ( [ "not" ] "exists" subquery ) 

[rule list]
This rule is call by

logical_factor