A man with a blue shirt sitting on a bed and another man with a tan colored shirt and glasses laying on a bed.
Two men are wearing pants.
Just because two men are wearing shirts does not mean they are wearing pants.
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 e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_pants(x2) & n_man(x1) & card_eq_2(x1))