exists x.exists y. exists z. ( p(x,b)/\c(x,y)/\c(y,z)/\p(z,a) )