Input TRS:
    1: a__g(X) -> a__h(X)
    2: a__c() -> d()
    3: a__h(d()) -> a__g(c())
    4: mark(g(X)) -> a__g(X)
    5: mark(h(X)) -> a__h(X)
    6: mark(c()) -> a__c()
    7: mark(d()) -> d()
    8: a__g(X) -> g(X)
    9: a__h(X) -> h(X)
    10: a__c() -> c()
Number of Rules: 10
Direct QWPOS(Pol) ... orients all.
	I(mark) = 2 * x1 + 3	sigma(mark) = [1]
	I(a__c) = 3
	I(a__g) = 3 * x1 + 3	sigma(a__g) = [1]
	I(a__h) = x1	sigma(a__h) = [1]
	I(c) = 0
	I(d) = 3
	I(g) = 3 * x1 + 3	sigma(g) = [1]
	I(h) = x1	sigma(h) = [1]
    PREC: mark = a__c > d > a__g > a__h > c = g = h
Number of Rules: 0