A man in a red shirt and white shorts is walking behind a man in a white shirt.
The two men are spooning on the couch.
If the men are walking they cannot be spooning one another
exists e1 s1 s2 s3 x1 x2 x3 x4 x5 x6.(in(e1,x6) & n_shirt(x6) & a_white(s3) & Theme(s3,x6) & behind(e1,x5) & n_man(x5) & Actor(e1,x1) & v_walk(e1) & in(x1,x2) & subset_of(x4,x2) & n_shorts(x4) & a_white(s2) & Theme(s2,x4) & subset_of(x3,x2) & n_shirt(x3) & a_red(s1) & Theme(s1,x3) & n_man(x1))
exists e1 x1 x2.(n_couch(x2) & n_man(x1) & card_eq_2(x1) & on(e1,x2) & Actor(e1,x1) & v_spoon(e1))