Input TRS:
    1: +(-(x,y),z) -> -(+(x,z),y)
    2: -(+(x,y),y) -> x
Number of Rules: 2
Direct QKBOS(Sum) ... orients all.
	I(+) = x1 + x2	sigma(+) = [2,1]
	I(-) = x1 + x2	sigma(-) = [1,2]
    PREC: + > -
Number of Rules: 0