Two men stand together; one is putting something red on his arm.
The men are not putting anything red on themselves.
The men have to be either putting something red on or not.
exists e1 e2 p1 s1 x1 x2 x3 x4 x5.(on(e2,x5) & n_arm(x5) & of(x5,x3) & n_male(x3) & Theme(e2,x3) & Actor(e2,x2) & v_put(e2) & Theme(s1,x4) & a_red(s1) & (x3 = x4) & n_thing(x3) & n_thing(x2) & card_eq_1(x2) & exists s2.(Theme(s2,x1) & a_together(s2)) & Topic(e1,p1) & Actor(e1,x1) & v_stand(e1) & n_man(x1) & card_eq_2(x1))
exists x1 x4.(n_group(x4) & n_man(x1) & -all x2.(n_thing(x2) -> exists e1 s1 x3.(on(e1,x4) & Theme(e1,x2) & Actor(e1,x1) & v_put(e1) & Theme(s1,x3) & a_red(s1) & (x2 = x3))))