(exists x: A)
exists(x:A)
A is true in some extension of the given assignment where x is mapped to a domain value.