∃ x.(cittadino(x,I)∧conoscente(x,M)∧conoscente(x,A)) ∧ (∃ x.(cittadino(x,F)∧conoscente(x,M)) ∧ 
∃ x.(cittadino(x,F)∧conoscente(x,A)))