Several people stand in a subway tunnel.
The people are outside in the sun.
Subway tunnels are underground, so people standing in them cannot also be outside in the sun at the same time.
exists e1 s1 x1 x2 x3.(in(e1,x2) & n_tunnel(x2) & of(x2,x3) & n_subway(x3) & Actor(e1,x1) & v_stand(e1) & n_people(x1) & a_several(s1) & Theme(s1,x1))
exists s1 x1 x2.(n_sun(x2) & n_people(x1) & in(s1,x2) & Theme(s1,x1) & a_outside(s1))