Children climb an elaborate jungle gym.
The kids are out playing.
Children are kids.
all x1 s1 x2.((n_gym(x1) & of(x1,x2) & n_jungle(x2) & a_elaborate(s1) & Theme(s1,x1)) -> exists x3 x4.(a_topic(x3) & for(x3,x1) & n_climb(x3) & (x3 = x4) & ne_nam_children(x4)))
exists p1 x1.(n_kid(x1) & exists x2.(out(x1,x2) & n_playing(x2)))