 Note, that the interpretations of the constant and predicate symbols are defined locally, i.e. with respect to a given time instant, while the respective extensions range over the global domain. This approach allows for reference to objects that do not currently exist and enables a proper treatment of cross-temporal relations, as, for example, in the sentence “One of my friends is a descendant of a follower of William the Conqueror”.