The boy with the blue helmet is playing with other boy.
Two boys are playing together.
The two boys that are playing together are the boy with the blue helmet and the other boy.
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.(a_together(s1) & Manner(e1,s1) & Actor(e1,x1) & v_play(e1) & n_boy(x1) & card_eq_2(x1))