There is a construction site with a backhoe and a man with a shovel.
A man with a shovel is at a construction site.
A construction site with a man and a shovel
exists p1 x1 x2 x3 x4 x5 x6 x7.((x1 = x2) & with(x2,x4) & subset_of(x6,x4) & with(x6,x7) & n_shovel(x7) & n_man(x6) & subset_of(x5,x4) & n_backhoe(x5) & n_site(x2) & of(x2,x3) & n_construction(x3))
exists p1 x1 x2.(exists x3 x4.(at(x1,x3) & n_site(x3) & of(x3,x4) & n_construction(x4)) & with(x1,x2) & n_shovel(x2) & n_man(x1))