0.00/0.48	NO
0.00/0.48	
0.00/0.48	Problem:
0.00/0.48	e() -> f(x) <= l() = d()
0.00/0.48	A() -> h(x, x)
0.00/0.48	
0.00/0.48	Proof:
0.00/0.48	This system is not confluent.
0.00/0.48	This system is oriented.
0.00/0.48	For the unconditional rule A() -> h(x, x) the variables of the right-hand side are not a subset of the variables of the left-hand side but the right-hand side is a normal form wrt R_u.
0.00/0.48	
0.00/0.50	EOF