MAYBE
0.08/0.17	MAYBE
0.08/0.17	
0.08/0.17	Problem:
0.08/0.17	 a__f(g(X),Y) -> a__f(mark(X),f(g(X),Y))
0.08/0.17	 mark(f(X1,X2)) -> a__f(mark(X1),X2)
0.08/0.17	 mark(g(X)) -> g(mark(X))
0.08/0.17	 a__f(X1,X2) -> f(X1,X2)
0.08/0.17	
0.08/0.17	Proof:
0.08/0.17	 Open
0.08/0.18	EOF