P(a)@0
R(a,b)@0
R(b,c)@0
R(c,a)@0
