(R1_(x1,x2)).
(!R1_(x1,x2)).