The grass in the field is short.
The grass was growing everywhere
The grass is either growing everywhere or is short.
exists s1 x1 x2.(n_field(x2) & n_grass(x1) & Theme(s1,x1) & a_short(s1) & in(x1,x2))
exists e1 x1.(n_grass(x1) & all x2.(n_location(x2) -> Location(e1,x2)) & Actor(e1,x1) & v_grow(e1))