There are several trees around the horses.
There are several tall trees around the horses
"There are several tall trees around the horses" restates in greater detail "There are several trees around the horses."
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 x3.(n_horse(x3) & exists s1 s2 x2.((x1 = x2) & around(x2,x3) & n_tree(x2) & a_tall(s2) & Theme(s2,x2) & a_several(s1) & Theme(s1,x2)))