A man in a hat is walking in a city while looking to the left.
The man is looking down at his shoes.
The man can't be looking to his left while looking down.
exists e2 e1 x1 x2 x3 x4.(n_left(x4) & while(e1,e2) & to(e2,x4) & Actor(e2,x1) & v_look(e2) & in(e1,x3) & n_city(x3) & Actor(e1,x1) & v_walk(e1) & in(x1,x2) & n_hat(x2) & n_man(x1))
exists e1 s1 x1 x2.(n_shoe(x2) & of(x2,x1) & n_male(x1) & n_man(x1) & a_down(s1) & Manner(e1,s1) & at(e1,x2) & Actor(e1,x1) & v_look(e1))