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