Some people and a goat are on a rooftop in a middle eastern city.
People and animals are on the roof together.
A goat is an animal, roof and rooftop mean the same thing.
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 p1 s1 x1 x2 x3 x4.(n_roof(x4) & a_together(s1) & Manner(p1,s1) & on(x1,x4) & subset_of(x3,x1) & n_animal(x3) & subset_of(x2,x1) & n_people(x2))