node(a)
node(b)
node(c)
node(d)
node(e)

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

p(d,d)
p(d,e)
p(e,d)
p(e,e)