There are birds on the boy
The boy is playing with birds while feeding them
The boy must not be playing with the birds on him nor feeding them.
exists p1 x1 x3.(n_boy(x3) & exists x2.((x1 = x2) & on(x2,x3) & n_bird(x2)))
exists e2 e1 x1 x2.(n_boy(x1) & while(e1,e2) & Theme(e2,x2) & Actor(e2,x1) & v_feed(e2) & n_thing(x2) & with(e1,x2) & n_bird(x2) & Actor(e1,x1) & v_play(e1))