What do you call an event and when do you call an assertion?
Assertion based Verification Tools, checks whether a statement holds a explained property or not, while, Event based Simulators, checks whether there is change in any event, say for each edge of a clock whether there is some activity in a signal or not, in case of an asynchronous designs, checks whether a signal is enabled or not.