A group of people holding music instruments.
the people are at the library with books.
The people cannot be holding instruments and library books at the same time.
exists e1 x1 x2 x3 x4 x5.(a_topic(x1) & of(x1,x2) & Theme(e1,x4) & Actor(e1,x3) & v_hold(e1) & n_instrument(x4) & of(x4,x5) & n_music(x5) & (x2 = x3) & n_people(x2) & n_group(x1))
exists p1 x1 x2.(n_library(x2) & n_people(x1) & exists x3.(at(x1,x2) & with(x2,x3) & n_book(x3)))