A crowded intersection in Manhattan with many people walking or standing around.
Many people are waiting for the light to change at the intersection.
People don't always wait for the light to change when they wait at an intersection. Some people jaywalk and others will cross before the light changes if there is no traffic coming.
exists s1 x1 x2 x3.(ne_geo_manhattan(x2) & a_topic(x1) & with(x1,x3) & (exists e1 x4.(Actor(e1,x4) & v_walk(e1) & (x3 = x4)) | exists e2 p1 x5.(exists s2.(Theme(s2,x5) & a_around(s2)) & Topic(e2,p1) & Actor(e2,x5) & v_stand(e2) & (x3 = x5))) & n_people(x3) & n_quantity(x3) & in(x1,x2) & n_intersection(x1) & a_crowded(s1) & Theme(s1,x1))
exists e1 p1 x1 x2 x3.(n_intersection(x3) & n_light(x2) & Topic(e1,p1) & Actor(e1,x1) & v_wait(e1) & exists e2.(at(e2,x3) & Actor(e2,x2) & v_change(e2)) & n_people(x1) & n_quantity(x1))