MAYBE
(ignored inputs)COMMENT [38] Example 4
Rewrite Rules:
   [ f(u(O),u(?y)) -> A,
     f(v(?x),v(O)) -> B,
     O -> u(O),
     O -> v(O),
     u(?x) -> ?x,
     v(?x) -> ?x,
     f(?x,?y) -> f(?x,u(?y)),
     f(?x,?y) -> f(v(?x),?y) ]
Apply Direct Methods...
Inner CPs:
   [ f(u(u(O)),u(?y)) = A,
     f(u(v(O)),u(?y)) = A,
     f(O,u(?y)) = A,
     f(u(O),?x_2) = A,
     f(v(?x_1),v(u(O))) = B,
     f(v(?x_1),v(v(O))) = B,
     f(?x_3,v(O)) = B,
     f(v(?x_1),O) = B ]
Outer CPs:
   [ A = f(u(O),u(u(?y))),
     A = f(v(u(O)),u(?y)),
     B = f(v(?x_1),u(v(O))),
     B = f(v(v(?x_1)),v(O)),
     u(O) = v(O),
     f(?x_4,u(?y_4)) = f(v(?x_4),?y_4) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

Combined result: Can't judge
216.trs: Failure(unknown CR)
(0 msec.)