Let L(x,y)L(x, y)L(x,y) be 'xxx loves yyy'. Translate: 'Everybody loves somebody'.
(forallx)(existsy)L(x,y)(\\forall x)(\\exists y) L(x,y)(forallx)(existsy)L(x,y)
(existsy)(forallx)L(x,y)(\\exists y)(\\forall x) L(x,y)(existsy)(forallx)L(x,y)
(forallx)(forally)L(x,y)(\\forall x)(\\forall y) L(x,y)(forallx)(forally)L(x,y)
(existsx)(existsy)L(x,y)(\\exists x)(\\exists y) L(x,y)(existsx)(existsy)L(x,y)