── HAPPENED ── ( ──<event designator>── ) ─────────────────────────────┤

The HAPPENED function is a Boolean function that returns the value TRUE if the happened state of the specified event is TRUE (happened) and returns the value FALSE if the happened state is FALSE (not happened).