A customer at the checkout of a grocery store.
The customer is sneaking food out of the grocery store under their coat, and is being chased by security.
One can not be sneaking, and checking out at the same time.
exists x1 x2 x3 x4.(n_checkout(x2) & a_topic(x1) & at(x1,x2) & of(x2,x3) & n_store(x3) & of(x3,x4) & n_grocery(x4) & n_customer(x1))
exists e2 e1 x1 x2 x3 x4 x5 x6.(n_customer(x1) & n_coat(x5) & of(x5,x3) & n_thing(x3) & n_store(x3) & of(x3,x4) & n_grocery(x4) & Actor(e2,x6) & n_security(x6) & Theme(e2,x1) & v_chase(e2) & under(e1,x5) & of(e1,x3) & r_out(e1) & Theme(e1,x2) & Actor(e1,x1) & v_sneak(e1) & n_food(x2))