As objects can be moving, this function has to be time-dependent, hence of type e → (i → r).
if t is a particular time point, t : i, and the term paris of type e is the name of Paris, LOC paris(t), which is of type r, expresses the region of Paris at time t. The LP cannot denote such a simple region, however, but has to be a set of regions, what Kracht calls a neighborhood.