A little girl is looking through the window.
The girl is staring down at the ground.
The girl cannot be staring down if she is looking through the window.
exists e1 s1 x1 x2.(n_window(x2) & through(e1,x2) & Actor(e1,x1) & v_look(e1) & n_girl(x1) & a_little(s1) & Theme(s1,x1))
exists e1 s1 x1 x2.(n_ground(x2) & n_girl(x1) & at(e1,x2) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_stare(e1))