There is a man in shorts and sandals and a woman in blue jean shorts and flip-flops out walking together.
The man looks down at the woman as they walk.
Just because they are walking together doens't mean he's looking down at her.
exists p1 x1 e1 s1 s2 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.((x1 = x2) & subset_of(x5,x2) & subset_of(x7,x5) & a_together(s2) & Manner(e1,s2) & Actor(e1,x12) & v_walk(e1) & (x7 = x12) & r_out(x7) & in(x7,x8) & subset_of(x11,x8) & n_flip-flop(x11) & subset_of(x9,x8) & n_shorts(x9) & of(x9,x10) & n_jean(x10) & a_blue(s1) & Theme(s1,x9) & n_woman(x7) & subset_of(x6,x5) & n_sandal(x6) & subset_of(x3,x2) & in(x3,x4) & n_shorts(x4) & n_man(x3))
exists e1 p1 s1 x1 x2.(n_thing(x2) & n_woman(x2) & n_man(x1) & exists e2.(Actor(e2,x2) & v_walk(e2)) & as(e1,p1) & a_down(s1) & Manner(e1,s1) & at(e1,x2) & Actor(e1,x1) & v_look(e1))