Indices for evaluating temporal expressions must take the form of a pair ⟨u, e⟩, where u is the time...