Some people and a goat are on a rooftop in a middle eastern city.
All the people are on the roof
All of the people are on the roof, not just some of them.
exists p1 x1 x2 x3.(exists s1 s2 x4 x5.(on(x1,x4) & in(x4,x5) & n_city(x5) & a_eastern(s2) & Theme(s2,x5) & a_middle(s1) & Theme(s1,x5) & n_rooftop(x4)) & subset_of(x3,x1) & n_goat(x3) & subset_of(x2,x1) & n_people(x2))
exists x2 x3.(n_roof(x3) & n_people(x2) & all x1.((x1 = x2) -> exists p1.on(x1,x3)))