forall x. forall y. ( (c(x) /\ g(y)) -> (not a(x,y) /\ not a(y,x) ) )

forall x. ( (c(x) \/ g(x)) -> exists y.( p(y,x) /\ forall z.( p(z,x) -> z=y)))

Tutti i cani con un padrone sono amati