Dies ist natürlich unmöglich.

φx, ψy, χz, fa
~fa, (∃x).fx (∃φ) . φa, (∃φ,x) . φx