 A model for \(\text{CL}_\triangleright\) may be defined as follows. Let (\(W,\le, R,S,K,v)\) comprise a (nonempty) partially ordered set \((W,\le)\) with a three-place relation \(R\) on \(W\), and let \(S\), \(K\in W\).  Furthermore, for any \(\alpha,\beta,\gamma,\delta\in W\), the conditions (s) and (k) are true.