The grass in the field is short.
The field has artificial turf
There is grass on the field not artificial turf.
exists s1 x1 x2.(n_field(x2) & n_grass(x1) & Theme(s1,x1) & a_short(s1) & in(x1,x2))
exists e1 s1 x1 x2.(n_field(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_turf(x2) & a_artificial(s1) & Theme(s1,x2))