  For logics like the Lambek calculus, the interpretation of the semantics is straightforward. We can take the points to be linguistic items, and the ternary relation to be the relation of concatenation (\(Rxyz\) if and only if \(x\) concatenated with \(y\) results in \(z)\). In these models, the structural rules of contraction, weakening and permutation all fail, but premise combination is associative.