R(x_1)\land\cdots\land R(x_k)land\lnot R(x_{k+1})\land\lnot R(x_n)