Changed grammar rule for the exists quantifier.