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