Two men dressed in blue face each other.
The two men are not wearing clothes.
The men are either dressed in blue or are not wearing clothes at all.
exists x1.(a_topic(x1) & all x2.(n_other(x2) -> exists e1 s1 x3 x4.(Time(e1,x2) & in(e1,x4) & n_face(x4) & a_blue(s1) & Theme(s1,x4) & Theme(e1,x3) & v_dress(e1) & (x1 = x3))) & n_man(x1) & card_eq_2(x1))
exists x1.(n_man(x1) & card_eq_2(x1) & -exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_clothes(x2)))