A man is sleeping on a bench while others are sitting up on the same bench.
A man is sharing a bench.
The man is sleeping on a bench while others are sitting on the same bench which implies that man is sharing a bench.
exists e1 p1 s2 x1 x2.(exists e2 s1 x3.(on(e2,x2) & a_up(s1) & Manner(e2,s1) & Actor(e2,x3) & v_sit(e2) & -(x3 = x1) & n_person(x3)) & n_bench(x2) & n_bench(x2) & a_same(s2) & Theme(s2,x2) & n_person(x1) & while(e1,p1) & on(e1,x2) & Actor(e1,x1) & v_sleep(e1) & n_man(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_share(e1) & n_bench(x2) & n_man(x1))