Input TRS:
    1: and(tt(),X) -> activate(X)
    2: plus(N,0()) -> N
    3: plus(N,s(M)) -> s(plus(N,M))
    4: activate(X) -> X
Number of Rules: 4
Direct QWPOS(mSum) ... orients all.
	I(tt) = 1
	I(0) = 0
	I(plus) = x1 + x2	sigma(plus) = [1,2]
	I(and) = x1 + x2	sigma(and) = [2,1]
	I(s) = x1 + 1	sigma(s) = [1]
	I(activate) = x1	sigma(activate) = [1]
    PREC: tt = 0 = plus = and > s = activate
Number of Rules: 0