There are several trees around the horses.
The horses are near the barn.
Nowhere in several trees being around the horses do we find out they're near the barn.
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 p1 x1 x2.(n_barn(x2) & n_horse(x1) & near(x1,x2))