 Given the standard translation, every temporal model \(\mathcal{M}=\left\langle T,\prec ,V\right\rangle\) can be regarded as an \(L_{1}\)-model by interpreting \(R\) as \(\prec\) and each \(P_{i}\) as \(V(p_{i}).\) Then: