A little boy playing with a red ball near the forrest.
The child is from the forrest, raised by wolves.
The boy can't be playing near the forrest if he's from the forrest.
exists e1 s1 s2 x1 x2 x3 x4.(n_forrest(x4) & a_topic(x1) & with(e1,x3) & near(x3,x4) & n_ball(x3) & a_red(s2) & Theme(s2,x3) & Actor(e1,x2) & v_play(e1) & (x1 = x2) & n_boy(x1) & a_little(s1) & Theme(s1,x1))
exists p1 x1 x2.(n_forrest(x2) & n_child(x1) & exists e1 x3 x4.(from(x1,x2) & Actor(e1,x4) & n_wolf(x4) & Theme(e1,x3) & v_raise(e1) & (x2 = x3)))