The boy with the blue helmet is playing with other boy.
Both boys are wearing pink helmets.
the boys can not be wearing blue helmets and also pink helmets.
exists e1 s1 x1 x2 x3.(n_boy(x3) & n_helmet(x2) & a_blue(s1) & Theme(s1,x2) & with(e1,x1) & -(x1 = x3) & n_boy(x1) & n_boy(x1) & Actor(e1,x1) & v_play(e1) & with(x1,x2))
exists e1 s1 x1 x2.(n_boy(x1) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_helmet(x2) & a_pink(s1) & Theme(s1,x2))