A person holding a dog while they eat.
The dog is on someones laps.
The dog must be on that person's lap in order for them to have their hands free to eat while still holding a dog.
exists e1 p1 x1 x2 x3.(a_topic(x1) & exists e2.(Actor(e2,x1) & v_eat(e2)) & n_thing(x1) & while(e1,p1) & Theme(e1,x3) & Actor(e1,x2) & v_hold(e1) & n_dog(x3) & (x1 = x2) & n_person(x1))
exists p1 x1.(n_dog(x1) & exists x2 x3.(on(x1,x2) & n_lap(x2) & of(x2,x3) & n_someone(x3)))