Deļ¬nition: The assertion (e INIT s) establishes a connection between an event e and an initial situation (typically a state) s which is encountered immediately before e starts. The initial situation s can also be characterized, for short, by an object if this object is changed by e.