====== INIT: Initial Situation or Entity ======

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