There are trees with no leaves in the background.
The trees don't have leaves.
If the trees are with no leaves, then the trees done have leaves.
exists p1 x1 x4.(n_background(x4) & exists x2.(-exists x3.((x1 = x2) & with(x2,x3) & in(x3,x4) & n_leaf(x3)) & n_tree(x2)))
exists x1.(n_tree(x1) & -exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_leaf(x2)))