====== FIN: Temporal End ======

**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''.