Definition: The assertion (s LOC l) specifies that the object s ∈ o is at place l, or that the situation s ∈ si holds at location l, or – if the situation is an event – it is taking place at l.

Example:

 The train to Baltimore was standing at the station for the whole night.