 The ternary relation is stipulated to be antitone in its first two argument places and monotone in the third. These components define a frame for \(\text{CL}_\triangleright\). The valuation function \(v\) maps variables \(x,y,z, \ldots\) into (nonempty) cones on \(W\), and it maps the two primitive combinators \(\textsf{S}\) and \(\textsf{K}\) into the cones generated by \(S\) and \(K\), respectively. Recall, that the standard notation in CL hides application, a binary operation that allows forming compound terms. The next clause extends \(v\) to compound terms and makes this operation explicit again.