The field is fenced in.
The fence is lying on the ground.
The field cannot be fenced in if the fence is lying on the ground not being used.
exists e1 s1 x1.(n_field(x1) & a_in(s1) & Manner(e1,s1) & Theme(e1,x1) & v_fence(e1))
exists e1 x1 x2.(n_ground(x2) & n_fence(x1) & on(e1,x2) & Actor(e1,x1) & v_lie(e1))