Children climb an elaborate jungle gym.
The children are out on recess at school.
Not all jungle gyms are at school.
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 s1 x1 x2.(n_child(x1) & at(p1,x2) & n_school(x2) & a_out(s1) & Manner(p1,s1) & exists x3.(on(x1,x3) & n_recess(x3)))