A group of people walk around a city corner and look up at another man standing on a ladder.
The people are sleeping on the ladder.
The people cannot be simultaneously walking and sleeping. Also, one generally does not sleep on a ladder.
exists e1 e2 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(n_man(x7) & at(e1,x8) & on(e2,x10) & n_ladder(x10) & Actor(e2,x9) & v_stand(e2) & (x8 = x9) & n_man(x8) & -(x8 = x7) & a_up(s1) & Manner(e1,s1) & around(e1,x3) & n_look(x5) & n_corner(x4) & of(x4,x6) & n_city(x6) & subset_of(x5,x3) & subset_of(x4,x3) & Actor(e1,x1) & v_walk(e1) & of(x1,x2) & n_people(x2) & n_group(x1))
exists e1 x1 x2.(n_ladder(x2) & n_people(x1) & on(e1,x2) & Actor(e1,x1) & v_sleep(e1))