There are several trees around the horses.
The horses are far away from the trees.
If the trees are around the horses then they cannot be far away.
exists p1 x1 x3.(n_horse(x3) & exists s1 x2.((x1 = x2) & around(x2,x3) & n_tree(x2) & a_several(s1) & Theme(s1,x2)))
exists s1 x1 x2.(n_tree(x2) & n_horse(x1) & r_far(s1) & from(s1,x2) & Theme(s1,x1) & a_away(s1))