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