Two kids are playing with toys.
The two children might both be boys.
Just because two kids are playing with toys does not mean they are both boys.
exists e1 x1 x2.(with(e1,x2) & n_toy(x2) & Actor(e1,x1) & v_play(e1) & n_kid(x1) & card_eq_2(x1))
exists e1 p1 s1 x1.(n_child(x1) & card_eq_2(x1) & a_both(s1) & Manner(e1,s1) & exists p2 x2.((x1 = x2) & n_boy(x2)) & Topic(e1,p1) & Actor(e1,x1) & v_might(e1))