People are walking on the street in front of tall buildings at nighttime.
The sun is not out.
nighttime indicates the sun is not out
exists e1 s1 x1 x2 x3 x4 x5.(n_street(x2) & at(e1,x5) & n_nighttime(x5) & in(e1,x3) & of(x3,x4) & n_building(x4) & a_tall(s1) & Theme(s1,x4) & n_front(x3) & on(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_people(x1))
exists x1.(n_sun(x1) & -exists s1.(Theme(s1,x1) & a_out(s1)))