 The truth of an arbitrary formula \(\varphi\) of FOTL at a given time instant \(t\) in a given first-order temporal model \(\mathcal{M}\) with respect to a variable assignment \(v\) (denoted \(\mathcal{M},t \models_{v} \varphi\)) is now defined inductively as follows: