Possiamo spostare i quantificatori a sinistra nella logica predicata?

Question

Supponiamo che io abbia una parte di una domanda nella forma: ∃x_un(...) ∧∃x_b(...) ∧∃x_c(...), dove A, B e C sono attributi e le ellissi possono essere qualsiasi cosa (sto cercando una regola generale). È così equivalente a dire ∃x_un,X_b,X_c;

Ad esempio, se ho la query:

Sarebbe corretto (anche se ingombrante) scriverlo come:

{ X_pid | ∃x_pname,X_colore,X_Sid,X_snaping,X_indirizzo,X_costo, y_Sid, y_snaping, y_indirizzo, y_costo(Parti (x_pid,X_pname,X_colore) ∧ Fornitori (x_Sid,X_snaping,X_indirizzo... (e poi il resto della query)