A dog jumps and runs through tall grass with an orange rope under its legs.
A puppy runs excitedly.
The dog jumping excitedly does not necessarily mean that it is still a puppy.
exists s1 s2 x1 x2 x3 x4 x5 x6 x7.(a_topic(s1) & with(s1,x5) & under(x5,x7) & n_leg(x7) & of(x7,x1) & n_thing(x1) & n_rope(x5) & of(x5,x6) & n_orange(x6) & subset_of(x3,s1) & through(x3,x4) & n_grass(x4) & a_tall(s2) & Theme(s2,x4) & n_run(x3) & subset_of(x1,s1) & n_jump(x1) & of(x1,x2) & n_dog(x2))
exists s1 x1.(a_topic(x1) & r_excitedly(x1) & n_run(x1) & a_puppy(s1) & Theme(s1,x1))