To understand the event "Fred voted.", it is important to know that fred is registered to vote