Of these five men in police or security uniforms, two are hugging.
All five men in uniform are hugging.
There are not five men hugging because there are only two hugging.
exists e1 x1 x2 x3.(n_man(x2) & card_eq_5(x2) & of(e1,x2) & in(x2,x3) & (exists x4.(n_uniform(x3) & of(x3,x4) & n_police(x4)) | exists x5.(n_uniform(x3) & of(x3,x5) & n_security(x5))) & Actor(e1,x1) & v_hug(e1) & n_thing(x1) & card_eq_2(x1))
all x1.((n_man(x1) & card_eq_5(x1)) -> exists e1 x2.(Actor(e1,x1) & v_hug(e1) & in(x1,x2) & n_uniform(x2)))