People observe animals in a covered exhibit at the zoo.
The people are at the history museum.
The people can't be at the zoo and history museum at the same time.
exists e1 s1 x1 x2 x3 x4.(n_zoo(x4) & in(e1,x3) & at(x3,x4) & n_exhibit(x3) & a_covered(s1) & Theme(s1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_observe(e1) & n_animal(x2) & n_people(x1))
exists p1 x1 x2 x3.(n_museum(x2) & of(x2,x3) & n_history(x3) & n_people(x1) & at(x1,x2))