MAYBE
0.08/0.17	MAYBE
0.08/0.17	
0.08/0.17	Problem:
0.08/0.17	 a(lambda(x),y) -> lambda(a(x,p(1(),a(y,t()))))
0.08/0.17	 a(p(x,y),z) -> p(a(x,z),a(y,z))
0.08/0.17	 a(a(x,y),z) -> a(x,a(y,z))
0.08/0.17	 a(id(),x) -> x
0.08/0.17	 a(1(),id()) -> 1()
0.08/0.17	 a(t(),id()) -> t()
0.08/0.17	 a(1(),p(x,y)) -> x
0.08/0.17	 a(t(),p(x,y)) -> y
0.08/0.17	
0.08/0.17	Proof:
0.08/0.17	 Open
0.08/0.17	EOF