0.00/0.68	YES
0.00/0.68	
0.00/0.68	Problem:
0.00/0.68	pos(s(0())) -> true()
0.00/0.68	pos(0()) -> false()
0.00/0.68	pos(s(x)) -> true() <= pos(x) = true()
0.00/0.68	pos(p(x)) -> false() <= pos(x) = false()
0.00/0.68	
0.00/0.68	Proof:
0.00/0.68	This system is confluent.
0.00/0.68	By \cite{SMI95}, Corollary 4.7 or 5.3.
0.00/0.68	This system is oriented.
0.00/0.68	This system is of type 3 or smaller.
0.00/0.68	This system is right-stable.
0.00/0.68	This system is properly oriented.
0.00/0.68	This is an overlay system.
0.00/0.68	This system is left-linear.
0.00/0.68	All 2 critical pairs are trivial or infeasible.
0.00/0.68	CP: true() = true() <= pos(0()) = true():
0.00/0.68	This critical pair is trivial.
0.00/0.68	CP: true() = true() <= pos(0()) = true():
0.00/0.68	This critical pair is trivial.
0.00/0.68	
2.17/1.05	EOF