Positive example: Definition of required element names of events