Definition: The expression (s FIN e) states that e marks the temporal end of s. If the second argument e of (s FIN e) represents a situation (i.e. e ∈ si), then the temporal end of s is identified with the beginning of the time interval te assigned to e (te = period of time e holds). The relation FIN is defined only if the first argument is temporally extended (i.e. ts is not an exact point in time). If s ∈ o is an object, then e marks the end of the existence of s.