To understand the event "Michelle does not drive her car to work.  Michelle is a member of a carpool.", it is important to know that Michelle may be a member of a carpool that does not drive to work.