To understand the event "Lisa and Bob are married.  Lisa and Bob made love.", it is important to know that lisa is not a virgin