Considere as seguintes relações na rede pública de ensino.

T(x): x é uma turma da rede pública de ensino.

C(y): y é um coordenador pedagógico.

A(x, y): o coordenador y acompanha a turma x.  

A partir dessas informações, é correto inferir que a afirmação "Cada turma da rede é acompanhada por pelo menos um coordenador pedagógico." pode ser escrita em termos da lógica de primeira ordem como ∀x [T(x) → ∃y (C(y) ∧ A(x, y))].