Three men are standing outside a building looking down towards the ground.
Three men are inside the building at their desks.
men can't be outside and inside at the same time
exists e2 e1 s1 x1 x2 x3.(n_ground(x3) & for(e1,e2) & a_down(s1) & Manner(e2,s1) & towards(e2,x3) & Actor(e2,x1) & v_look(e2) & outside(e1,x2) & n_building(x2) & Actor(e1,x1) & v_stand(e1) & n_man(x1) & card_eq_3(x1))
exists p1 x1 x2 x3.(n_building(x3) & at(p1,x2) & n_desk(x2) & of(x2,x1) & n_thing(x1) & inside(x1,x3) & n_man(x1) & card_eq_3(x1))