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 not have a license