(∃x.(s(x) ∧ (∀y.(p(y) → a(x,y))))) ∧ (∃x.∃y.(s(x) ∧ p(y) ∧ ¬a(x,y)))
o, in modo equivalente
(∃x.(s(x) ∧ (∀y.(p(y) → a(x,y))))) ∧ (∃x.(s(x) ∧ ¬(∀y.(p(y) → a(x,y)))))