Definition: The assertion (s VIA w) is used for the specification of a path or way w taken by an object s ∈ d participating in an event or of a path determining the spatial route of an event s ∈ [dy ∪ ad].
(s VIA w)
w
s ∈ d
s ∈ [dy ∪ ad]