MAYBE
MAYBE
TRS:
 {
        lambda(x) -> x,
          a(x, y) -> x,
          a(x, y) -> y,
  a(lambda(x), y) -> lambda(a(x, p(1(), a(y, t())))),
    a(a(x, y), z) -> a(x, a(y, z)),
    a(p(x, y), z) -> p(a(x, z), a(y, z)),
          p(x, y) -> x,
          p(x, y) -> y
 }
 DUP: We consider a duplicating system.
  Trs:
   {
          lambda(x) -> x,
            a(x, y) -> x,
            a(x, y) -> y,
    a(lambda(x), y) -> lambda(a(x, p(1(), a(y, t())))),
      a(a(x, y), z) -> a(x, a(y, z)),
      a(p(x, y), z) -> p(a(x, z), a(y, z)),
            p(x, y) -> x,
            p(x, y) -> y
   }
  Fail