To understand the event "Jeff rode the elevator up.", it is important to know that Jeff pushed a button representing the floor he wanted to get off on