quantified_factor

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

[rule list] 
This rule is called by

logical_factor