To understand the event "Josh is a student.  Josh flew to Israel.", it is important to know that josh is short for joshua