MAYBE
175.36/55.33	MAYBE
175.36/55.33	
175.36/55.33	Problem:
175.36/55.33	 a(p(x1)) -> p(a(A(x1)))
175.36/55.33	 a(A(x1)) -> A(a(x1))
175.36/55.33	 p(A(A(x1))) -> a(p(x1))
175.36/55.33	
175.36/55.33	Proof:
175.36/55.33	 Open
175.36/55.33	EOF