A child using a vacuum cleaner on the kitchen floor.
The child is in the kitchen.
The child would have to be in the kitchen to vacuum the floor there.
exists e1 x1 x2 x3 x4 x5.(n_floor(x4) & of(x4,x5) & n_kitchen(x5) & on(e1,x4) & Theme(e1,x2) & Actor(e1,x1) & v_use(e1) & n_cleaner(x2) & of(x2,x3) & n_vacuum(x3) & n_child(x1))
exists p1 x1 x2.(n_kitchen(x2) & n_child(x1) & in(x1,x2))