(∀x.(persona(x) ∧ conoscente(x, M) ∧ conoscente(x, Antonio)) → cittadino(x, I)) ∧ (∃y.(persona(y) ∧ conoscente(y, M) ∧ cittadino(y, F)))