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 have negotiated some way to not fulfill the usual obligation of being in a carpool that is that she would normally take a turn driving.