To understand the event "Ellen ran a mile.", it is important to know that Ellen is healthy