Input TRS:
    1: g(x,a(),b()) -> g(b(),b(),a())
Number of Rules: 1
Direct QLPOS ... orients all.
	sigma(g) = [3,2,1]
    PREC: b > a = g
Number of Rules: 0