MAYBE
0.07/0.19	MAYBE
0.07/0.19	
0.07/0.19	Problem:
0.07/0.19	 minus(n__0(),Y) -> 0()
0.07/0.19	 minus(n__s(X),n__s(Y)) -> minus(activate(X),activate(Y))
0.07/0.19	 geq(X,n__0()) -> true()
0.07/0.19	 geq(n__0(),n__s(Y)) -> false()
0.07/0.19	 geq(n__s(X),n__s(Y)) -> geq(activate(X),activate(Y))
0.07/0.19	 div(0(),n__s(Y)) -> 0()
0.07/0.19	 div(s(X),n__s(Y)) ->
0.07/0.19	 if(geq(X,activate(Y)),n__s(n__div(n__minus(X,activate(Y)),n__s(activate(Y)))),n__0())
0.07/0.19	 if(true(),X,Y) -> activate(X)
0.07/0.19	 if(false(),X,Y) -> activate(Y)
0.07/0.19	 0() -> n__0()
0.07/0.19	 s(X) -> n__s(X)
0.07/0.19	 div(X1,X2) -> n__div(X1,X2)
0.07/0.19	 minus(X1,X2) -> n__minus(X1,X2)
0.07/0.19	 activate(n__0()) -> 0()
0.07/0.19	 activate(n__s(X)) -> s(activate(X))
0.07/0.19	 activate(n__div(X1,X2)) -> div(activate(X1),X2)
0.07/0.19	 activate(n__minus(X1,X2)) -> minus(X1,X2)
0.07/0.19	 activate(X) -> X
0.07/0.19	
0.07/0.19	Proof:
0.07/0.19	 Open
0.07/0.19	EOF