YES ---- CR(R) ---- R : left-linear, C : CR and CP-closing, and Cdup/R : SN R: p(x) -> q(x) p(x) -> r(x) q(x) -> s(p(x)) r(x) -> s(p(x)) s(x) -> f(p(x)) CP(R): q(___y603) -> r(___y603) r(___y611) -> q(___y611) critical-pair-closing system C: q(x) -> s(p(x)) r(x) -> s(p(x)) CR(C): see below. ---- CR(R) ---- R : left-linear, C : CR and CP-closing, and Cdup/R : SN R: q(x) -> s(p(x)) r(x) -> s(p(x)) CP(R): critical-pair-closing system C: CR(C): see below. ---- CR(R) ---- R is empty.