Several people cross a busy city street on bicycles and foot while cars wait at the signal.
Many people cross a street while cars wait for the signal to change.
Several implies many people. If the city street is busy, the cars would wait at the signal so the people that cross the street can do so safely.
exists e1 p1 s1 s2 x1 x2 x3 x4 x5 x6 x8.(n_signal(x8) & exists e2 x7.(at(e2,x8) & Actor(e2,x7) & v_wait(e2) & n_car(x7)) & while(e1,p1) & on(e1,x4) & n_foot(x6) & n_bicycle(x5) & subset_of(x6,x4) & subset_of(x5,x4) & Theme(e1,x2) & Actor(e1,x1) & v_cross(e1) & n_street(x2) & of(x2,x3) & n_city(x3) & a_busy(s2) & Theme(s2,x2) & n_people(x1) & a_several(s1) & Theme(s1,x1))
exists e1 p1 x1 x2 x4.(n_signal(x4) & exists e2 p2 x3.(for(e2,x4) & Topic(e2,p2) & Actor(e2,x3) & v_wait(e2) & exists e3.(Actor(e3,x3) & v_change(e3)) & n_car(x3)) & while(e1,p1) & Theme(e1,x2) & Actor(e1,x1) & v_cross(e1) & n_street(x2) & n_people(x1) & n_quantity(x1))