MAYBE 0.00/0.01 The problem does not contain well-formed TRSs: 0.00/0.01 Strict Trs: 0.00/0.01 { 2nd(cons(X)) -> head(XS) 0.00/0.01 , head(cons(X)) -> X 0.00/0.01 , sel(s(N), cons(X)) -> sel(N, XS) 0.00/0.01 , sel(0(), cons(X)) -> X 0.00/0.02 , from(X) -> cons(X) 0.00/0.02 , take(s(N), cons(X)) -> cons(X) 0.00/0.02 , take(0(), XS) -> nil() } 0.00/0.02 StartTerms: basic terms 0.00/0.02 Strategy: none 0.00/0.02 EOF