A picture of the anatomy of a hand.
The picture is in a biology book.
anatomy doesn't imply biology book
exists x1 x2 x3.(n_anatomy(x2) & a_topic(x1) & of(x1,x2) & of(x2,x3) & n_hand(x3) & n_picture(x1))
exists p1 x1.(n_picture(x1) & exists x2 x3.(in(x1,x2) & n_book(x2) & of(x2,x3) & n_biology(x3)))