d2(r,1,2).
d2(r,1,3).
d2(r,1,4).
q2(r,x,y).
q2(r,y,z).