 Many, but not all, possible properties which an instant-based model of time \(\mathcal{T} = \left\langle T, \prec \right\rangle\) may have can be expressed by first-order sentences as follows (where \(\preceq\) is an abbreviation of \(x\prec y \lor x=y\)):