Children climb an elaborate jungle gym.
The construction worker is picking up concrete sacks.
One cannot be both picking up things and climbing simultaneously.
all x2 s1 x1.((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 e1 s1 s2 x1 x2 x3.(n_worker(x1) & of(x1,x2) & n_construction(x2) & a_up(s2) & Manner(e1,s2) & Theme(e1,x3) & Actor(e1,x1) & v_pick(e1) & n_sack(x3) & a_concrete(s1) & Theme(s1,x3))