MAYBE
(ignored inputs)COMMENT translated from Cops 260
*** Computating Strongly Quasi-Reducible Parts ***
TRS:
   [ -(?x,?x) -> 0,
     -(?x,0) -> ?x,
     +(?x,?y) -> +(?y,?x),
     +(0,?x) -> ?x,
     +(?x,0) -> ?x,
     +(s(?x),?y) -> s(+(?x,?y)),
     +(?x,s(?y)) -> s(+(?y,?x)),
     +(p(?x),?y) -> p(+(?x,?y)),
     +(?x,p(?y)) -> p(+(?y,?x)),
     s(p(?x)) -> ?x,
     p(s(?x)) -> ?x ]
Constructors: {-,0,p,s}
Defined function symbols: {+}
Constructor subsystem:
   [ -(?x,0) -> ?x,
     s(p(?x)) -> ?x,
     p(s(?x)) -> ?x ]
no strongly quasi-reducible parts found
examples/fromCops/cr/260.trs: Failure(unknown)
(28 msec.)