Three men playing sports wearing blue as their uniform
Three men are wearing blue.
Three men wearing blue does imply that three men are wearing blue.
exists e2 e1 p1 x1 x2 x3 x4 x5.(a_topic(x1) & Theme(e2,x3) & Actor(e2,x2) & v_play(e2) & exists s1.(as(s1,x5) & Theme(s1,x4) & a_blue(s1)) & n_uniform(x5) & of(x5,x1) & n_thing(x1) & Topic(e1,p1) & Actor(e1,x4) & v_wear(e1) & (x3 = x4) & n_sport(x3) & (x1 = x2) & n_man(x1) & card_eq_3(x1))
exists e1 p1 x1.(exists s1.(Theme(s1,x1) & a_blue(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_wear(e1) & n_man(x1) & card_eq_3(x1))