The little boy with red-hair jumps on the trampoline.
the boy is happy
the fact that the boy is jumping on the trampoline does not imply that the boy is happy
exists s1 s2 x1 x2 x3.(n_trampoline(x3) & n_boy(x1) & a_little(s1) & Theme(s1,x1) & a_topic(x1) & with(x1,x2) & on(x2,x3) & n_jump(x2) & a_red-hair(s2) & Theme(s2,x2))
exists s1 x1.(n_boy(x1) & Theme(s1,x1) & a_happy(s1))