Two tired children rest on couches at an art museum while the adults around them view the art.
There are children at an art museum.
Two tired children rest on couches at an art museum simply means there are children at an art museum
(x)
exists p1 x1 x2 x3 x4.((x1 = x2) & at(x2,x3) & n_museum(x3) & of(x3,x4) & n_art(x4) & n_child(x2))