 In this context, the way that \(Rxyz\) is read is—if you take the information that is true at \(x\), and you put it together with the information that is true at \(y\), then you get the information that is true at \(z\). However, \(Rxyz\) is not read so strictly in general. Although the \(\Vdash\) relation can be read as a straightforward semantic relation in line with \(\vDash\), it is considerably more flexible. Other readings \(x\Vdash\phi\) include \(x\) carries the information that \(\psi\), \(x\) carries the information of type \(\psi\), \(x\) supports the information that/of type \(\psi\), \(x\) is a record of the information that/of type \(\psi\), and so on. As a consequence of this, the way that \(Rxyz\) is read in practice will depend the applications to which the resulting information-based semantic models are being put—that is, on the domain of the information channels in question.