MAYBE
TRS:
 {                from(X) -> cons(X, from(s(X))),
        head(cons(X, XS)) -> X,
         2nd(cons(X, XS)) -> head(XS),
  take(s(N), cons(X, XS)) -> cons(X, take(N, XS)),
            take(0(), XS) -> nil(),
   sel(s(N), cons(X, XS)) -> sel(N, XS),
    sel(0(), cons(X, XS)) -> X}
 DP:
  Strict:
   {                from#(X) -> from#(s(X)),
           2nd#(cons(X, XS)) -> head#(XS),
    take#(s(N), cons(X, XS)) -> take#(N, XS),
     sel#(s(N), cons(X, XS)) -> sel#(N, XS)}
  Weak:
  {                from(X) -> cons(X, from(s(X))),
         head(cons(X, XS)) -> X,
          2nd(cons(X, XS)) -> head(XS),
   take(s(N), cons(X, XS)) -> cons(X, take(N, XS)),
             take(0(), XS) -> nil(),
    sel(s(N), cons(X, XS)) -> sel(N, XS),
     sel(0(), cons(X, XS)) -> X}
  EDG:
   {(from#(X) -> from#(s(X)), from#(X) -> from#(s(X)))
    (sel#(s(N), cons(X, XS)) -> sel#(N, XS), sel#(s(N), cons(X, XS)) -> sel#(N, XS))
    (take#(s(N), cons(X, XS)) -> take#(N, XS), take#(s(N), cons(X, XS)) -> take#(N, XS))}
   SCCS:
    Scc:
     {sel#(s(N), cons(X, XS)) -> sel#(N, XS)}
    Scc:
     {take#(s(N), cons(X, XS)) -> take#(N, XS)}
    Scc:
     {from#(X) -> from#(s(X))}
    SCC:
     Strict:
      {sel#(s(N), cons(X, XS)) -> sel#(N, XS)}
     Weak:
     {                from(X) -> cons(X, from(s(X))),
            head(cons(X, XS)) -> X,
             2nd(cons(X, XS)) -> head(XS),
      take(s(N), cons(X, XS)) -> cons(X, take(N, XS)),
                take(0(), XS) -> nil(),
       sel(s(N), cons(X, XS)) -> sel(N, XS),
        sel(0(), cons(X, XS)) -> X}
     SPSC:
      Simple Projection:
       pi(sel#) = 0
      Strict:
       {}
      Qed
    SCC:
     Strict:
      {take#(s(N), cons(X, XS)) -> take#(N, XS)}
     Weak:
     {                from(X) -> cons(X, from(s(X))),
            head(cons(X, XS)) -> X,
             2nd(cons(X, XS)) -> head(XS),
      take(s(N), cons(X, XS)) -> cons(X, take(N, XS)),
                take(0(), XS) -> nil(),
       sel(s(N), cons(X, XS)) -> sel(N, XS),
        sel(0(), cons(X, XS)) -> X}
     SPSC:
      Simple Projection:
       pi(take#) = 0
      Strict:
       {}
      Qed
    SCC:
     Strict:
      {from#(X) -> from#(s(X))}
     Weak:
     {                from(X) -> cons(X, from(s(X))),
            head(cons(X, XS)) -> X,
             2nd(cons(X, XS)) -> head(XS),
      take(s(N), cons(X, XS)) -> cons(X, take(N, XS)),
                take(0(), XS) -> nil(),
       sel(s(N), cons(X, XS)) -> sel(N, XS),
        sel(0(), cons(X, XS)) -> X}
     Fail