MAYBE 0.00/0.01 The problem does not contain well-formed TRSs: 0.00/0.01 Strict Trs: 0.00/0.01 { splitAt(s(N), cons(X)) -> u(splitAt(N, XS)) 0.00/0.01 , splitAt(0(), XS) -> pair(nil(), XS) 0.00/0.01 , u(pair(YS, ZS)) -> pair(cons(X), ZS) 0.00/0.01 , tail(cons(N)) -> XS 0.00/0.01 , natsFrom(N) -> cons(N) 0.00/0.01 , fst(pair(XS, YS)) -> XS 0.00/0.01 , snd(pair(XS, YS)) -> YS 0.00/0.01 , head(cons(N)) -> N 0.00/0.01 , sel(N, XS) -> head(afterNth(N, XS)) 0.00/0.01 , afterNth(N, XS) -> snd(splitAt(N, XS)) 0.00/0.01 , take(N, XS) -> fst(splitAt(N, XS)) } 0.00/0.01 StartTerms: basic terms 0.00/0.01 Strategy: innermost 0.00/0.01 EOF