Several deer jump a fence into an open field.
The deer jump a fence
The deer is describing of several deer.
all x1.(n_fence(x1) -> exists s1 s2 x2 x3 x4.(a_topic(x2) & into(x2,x4) & n_field(x4) & a_open(s2) & Theme(s2,x4) & for(x2,x1) & n_jump(x2) & of(x2,x3) & n_deer(x3) & a_several(s1) & Theme(s1,x2)))
exists x2 x3.(n_jump(x2) & of(x2,x3) & n_deer(x3) & all x1.(n_fence(x1) -> (a_topic(x2) & for(x2,x1))))