The young girl happily plays in the tree.
The tree is not that big.
The fact that the young girl is in the tree does not mean it is not that big.
exists e1 s1 s2 x1 x2.(n_tree(x2) & n_girl(x1) & a_young(s1) & Theme(s1,x1) & a_happily(s2) & Manner(e1,s2) & in(e1,x2) & Actor(e1,x1) & v_play(e1))
exists x1.(n_tree(x1) & -exists s1.(r_that(s1) & Theme(s1,x1) & a_big(s1)))