People crossing a city street.
Men walking in the crosswalk.
Because people are male and female, we can assume that some are men. Since they are crossing the street, we can assume they are doing so at the crosswalk.
exists e1 x1 x2 x3 x4.(a_topic(x1) & Theme(e1,x3) & Actor(e1,x2) & v_cross(e1) & n_street(x3) & of(x3,x4) & n_city(x4) & (x1 = x2) & n_people(x1))
exists x1 x2 x3.(n_crosswalk(x3) & a_topic(x1) & in(x1,x3) & n_walking(x1) & of(x1,x2) & n_man(x2))