MAYBE 0.00/0.02 The problem does not contain well-formed TRSs: 0.00/0.02 Strict Trs: 0.00/0.02 { U11(tt()) -> N 0.00/0.02 , U21(tt()) -> s(plus(N, M)) 0.00/0.02 , plus(N, s(M)) -> U21(and(isNat())) 0.00/0.02 , plus(N, 0()) -> U11(isNat()) 0.00/0.02 , U41(tt()) -> plus(x(N, M), N) 0.00/0.02 , x(N, s(M)) -> U41(and(isNat())) 0.00/0.02 , x(N, 0()) -> U31(isNat()) 0.00/0.02 , and(tt()) -> X 0.00/0.02 , U31(tt()) -> 0() 0.00/0.02 , isNat() -> tt() 0.00/0.02 , isNat() -> and(isNat()) 0.00/0.02 , isNat() -> isNat() } 0.00/0.02 StartTerms: all 0.00/0.02 Strategy: none 0.00/0.02 EOF