The grass in the field is short.
The gardeners had just finished
The fact that grass in the field is short doesn't imply gardeners had just finished.
exists s1 x1 x2.(n_field(x2) & n_grass(x1) & Theme(s1,x1) & a_short(s1) & in(x1,x2))
exists e1 s1 x1.(n_gardener(x1) & a_just(s1) & Manner(e1,s1) & Actor(e1,x1) & v_finish(e1))