The grass in the field is short.
The grass is bright green.
The fact that grass in the field is short doesn't imply grass is bright green.
exists s1 x1 x2.(n_field(x2) & n_grass(x1) & Theme(s1,x1) & a_short(s1) & in(x1,x2))
exists p1 x1.(n_grass(x1) & exists s1 x2.((x1 = x2) & n_green(x2) & a_bright(s1) & Theme(s1,x2)))