A man with a blue shirt sitting on a bed and another man with a tan colored shirt and glasses laying on a bed.
The men are on the bed together.
Just because the men are on the bed together, it does not necessary imply that they are the same, man in the blue shirt sitting on a bed and the man with a tan colored shirt and glasses laying on a bed.  Also, being on the bed does not necessary imply laying on the bed.
exists e1 e2 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8.(on(e2,x8) & n_bed(x8) & Actor(e2,x7) & v_lay(e2) & n_glass(x7) & on(e1,x3) & subset_of(x5,x3) & with(x5,x6) & n_shirt(x6) & a_colored(s3) & Theme(s3,x6) & a_tan(s2) & Theme(s2,x6) & n_man(x5) & -(x5 = x1) & n_man(x1) & n_man(x1) & subset_of(x4,x3) & n_bed(x4) & Actor(e1,x1) & v_sit(e1) & with(x1,x2) & n_shirt(x2) & a_blue(s1) & Theme(s1,x2))
exists p1 s1 x1 x2.(n_bed(x2) & n_man(x1) & a_together(s1) & Manner(p1,s1) & on(x1,x2))