p(a,b)
p(b,c)
p(c,d)