The following example sets the happened state of the event EVNT to FALSE (not happened):

RESET(EVNT)

The following example sets the happened state of the event designated by EVNTARAY[INDX] to FALSE (not happened):

RESET(EVNTARAY[INDX])