To understand the event "Bob listened to his favorite music.", it is important to know that bob might be listening to his music in MP3 format