0.59/1.14 YES 0.59/1.14 0.59/1.14 Problem: 0.59/1.14 p(q(x)) -> 0() 0.59/1.14 c() -> c() 0.59/1.14 a(x) -> b() <= p(x) = 0() 0.59/1.14 0.59/1.14 Proof: 0.59/1.14 This system is confluent. 0.59/1.14 By \cite{GNG13}, Theorem 9. 0.59/1.14 This system is of type 3 or smaller. 0.59/1.14 This system is deterministic. 0.59/1.14 This system is weakly left-linear. 0.59/1.14 System R transformed to optimized U(R). 0.59/1.14 This system is orthogonal. 0.59/1.14 0.65/1.45 EOF