A man in a striped shirt and jeans, and a woman in a white top dancing with each other.
The man and woman are sitting down watching tv.
The man and woman cannot be sitting and dancing at the same time.
exists s1 s2 s3 s4 x1 x2 x3 x4 x5 x6.(a_topic(s1) & all x7.(n_other(x7) -> (subset_of(x5,s1) & with(x5,x7))) & in(x5,x6) & n_dancing(x6) & a_top(s4) & Theme(s4,x6) & a_white(s3) & Theme(s3,x6) & n_woman(x5) & subset_of(x1,s1) & in(x1,x2) & subset_of(x4,x2) & n_jeans(x4) & subset_of(x3,x2) & n_shirt(x3) & a_striped(s2) & Theme(s2,x3) & n_man(x1))
exists e1 e2 s1 x1 x2 x3 x4.(n_woman(x3) & n_man(x2) & subset_of(x3,x1) & subset_of(x2,x1) & for(e1,e2) & Theme(e2,x4) & Actor(e2,x1) & v_watch(e2) & n_tv(x4) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_sit(e1))