 The models of FOTL are based on temporal frames where each time instant is associated with a first-order relational structure. Formally, a first-order temporal model is a quintuple:  \[\mathcal{M}= (T, \prec,\mathcal{U},D,\mathcal{I}) \]   where: