Pedestrians use the crosswalks as traffic awaits their turn to drive through an intersection.
Traffic is stopped at a red light.
Premise: Pedestrians use the crosswalks as traffic awaits their turn to drive through an intersection. <sep> Hypothesis: Traffic is stopped at a red light.