An elderly man lies on a couch in an alleyway, both the couch and man are quite dirty.
The man is not clean.
man are quite dirty so he is not clean
exists e1 s1 s2 x1 x2 x3 x4 x5.(r_quite(s2) & Theme(s2,x4) & a_dirty(s2) & n_man(x1) & n_man(x1) & n_couch(x5) & subset_of(x1,x4) & subset_of(x5,x4) & in(e1,x3) & n_alleyway(x3) & on(e1,x2) & n_couch(x2) & Actor(e1,x1) & v_lie(e1) & a_elderly(s1) & Theme(s1,x1))
exists x1.(n_man(x1) & -exists s1.(Theme(s1,x1) & a_clean(s1)))