MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 a__h(X) -> a__g(mark(X),X)
0.07/0.18	 a__g(a(),X) -> a__f(b(),X)
0.07/0.18	 a__f(X,X) -> a__h(a__a())
0.07/0.18	 a__a() -> b()
0.07/0.18	 mark(h(X)) -> a__h(mark(X))
0.07/0.18	 mark(g(X1,X2)) -> a__g(mark(X1),X2)
0.07/0.18	 mark(a()) -> a__a()
0.07/0.18	 mark(f(X1,X2)) -> a__f(mark(X1),X2)
0.07/0.18	 mark(b()) -> b()
0.07/0.18	 a__h(X) -> h(X)
0.07/0.18	 a__g(X1,X2) -> g(X1,X2)
0.07/0.18	 a__a() -> a()
0.07/0.18	 a__f(X1,X2) -> f(X1,X2)
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.18	EOF