MAYBE
(ignored inputs)COMMENT translated from Cops 118
*** Computating Strongly Quasi-Reducible Parts ***
TRS:
   [ eq(?n,?xs,?xs) -> T,
     eq(s(?n),c(?x,?xs),c(?x,?ys)) -> eq(?n,?xs,?ys),
     nats -> c(0,inc(nats)),
     inc(c(?x,?xs)) -> c(s(?x),inc(?xs)) ]
Constructors: {0,T,c,s}
Defined function symbols: {eq,inc,nats}
Constructor subsystem:
   [ ]
no strongly quasi-reducible parts found
examples/fromCops/cr/118.trs: Failure(unknown)
(5 msec.)