Pushing the flower pots to the garden to plant.
Nothing is in the garden
If there are flower pots in the garden, it cannot be true that nothing is in the garden.
exists e1 e2 x1 x2 x3 x4.(n_garden(x3) & n_flower(x2) & to(e2,x4) & n_plant(x4) & to(e2,x3) & Actor(e2,e1) & v_pot(e2) & Theme(e1,x2) & Actor(e1,x1) & v_push(e1) & n_thing(x1))
exists x2.(n_garden(x2) & -exists p1 x1.(in(x1,x2) & n_thing(x1)))