The grass in the field is short.
The grass was recently cut.
The grass in the field is short is not necessarily because grass was recently cut.
exists s1 x1 x2.(n_field(x2) & n_grass(x1) & Theme(s1,x1) & a_short(s1) & in(x1,x2))
exists e1 s1 x1.(n_grass(x1) & a_recently(s1) & Manner(e1,s1) & Theme(e1,x1) & v_cut(e1))