The set of all future events can be defined by a well-formed membership condition (e.g., events occu...