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

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

i cani senza padrone non sono amati da nessuno.