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
.