A child using a vacuum cleaner on the kitchen floor.
The child is in the garage.
The child is either in the garage or in the kitchen, he can not be at both places at once. He doesn't seem to have a vacuum cleaner in the garage.
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_garage(x2) & n_child(x1) & in(x1,x2))