 Recall that a relation \(R\) is trichotomous if and only if for all \(x,y\in W\) it is either the case that \(xRy, yRx\) or \(y=x\). We can use a combination of preference and global modalities to obtain the following frame correspondence.