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