A group of men sitting around a table and talking.
The group of old friends are asleep in bed.
If the men are sitting and talking, they cannot be asleep.
exists e1 e2 x1 x2 x3 x4 x5.(a_topic(x1) & Actor(e2,x5) & v_talking(e2) & (x1 = x5) & around(e1,x4) & n_table(x4) & Actor(e1,x3) & v_sit(e1) & (x1 = x3) & of(x1,x2) & n_man(x2) & n_group(x1))
exists s1 s2 x1 x2 x3.(n_group(x1) & in(s2,x3) & n_bed(x3) & Theme(s2,x1) & a_asleep(s2) & of(x1,x2) & n_friend(x2) & a_old(s1) & Theme(s1,x2))