Vi kan lese formelen $\exists x \forall y R(x, y)$ som «Det finnes en $x$ slik at for alle $y$ er $R(x, y)$». For at denne formelen skal være sann i en modell med domene $D$, må $R$ tolkes som en binær relasjon slik at det finnes en $x \in D$ slik at for alle $y \in D$ så er $\langle x, y \rangle \in R$.
Legg merke til at rekkefølgen på kvantorene er viktig (når man bruker begge «kvantortypene»). Formelen $F_1 = \exists x \forall y R(x, y)$ er ikke ekvivalent med formelen $F_2 = \forall y \exists x R(x, y)$. Formelen $F_2$ kan leses som «For alle $y$ så finnes det en $x$ slik at $R(x, y)$». Hvis vi har en modell med domene $\{1,2,3\}$ der $R$ tolkes som relasjonen $\{ \langle 1,1 \rangle, \langle 3,2 \rangle, \langle 3,3 \rangle \}$, så er $F_1$ usann i denne modellen, mens $F_2$ er sann i denne modellen.