a man inn a blue cap messing with a camera.
The man has a red hat on.
The man in the blue cap messing with the camera cannot be the man in the red hat.  The men are wearing two different color hats.
all x1 s1.((n_cap(x1) & a_blue(s1) & Theme(s1,x1)) -> exists e1 x2 x3 x4 x5.(a_topic(x2) & with(e1,x5) & n_camera(x5) & Actor(e1,x4) & v_mess(e1) & (x2 = x4) & for(x2,x1) & n_inn(x2) & of(x2,x3) & n_man(x3)))
exists e1 s1 s2 x1 x2.(n_man(x1) & a_on(s2) & Manner(e1,s2) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_hat(x2) & a_red(s1) & Theme(s1,x2))