Man sleeping on an old couch in an alley.
A homeless man is resting.
Just because, the man is sleeping on an old couch in an alley does not imply the man is homeless, it also does not imply the man is resting.
exists e1 s1 x1 x2 x3 x4.(a_topic(x1) & on(e1,x3) & in(x3,x4) & n_alley(x4) & n_couch(x3) & a_old(s1) & Theme(s1,x3) & Actor(e1,x2) & v_sleep(e1) & (x1 = x2) & n_man(x1))
exists e1 s1 x1.(Actor(e1,x1) & v_rest(e1) & n_man(x1) & a_homeless(s1) & Theme(s1,x1))