A monkey saw the cookie in the tin .
* cookie ( x _ 4 ) ; * tin ( x _ 7 ) ; monkey ( x _ 1 ) AND see . agent ( x _ 2 , x _ 1 ) AND see . theme ( x _ 2 , x _ 4 ) AND cookie . nmod . in ( x _ 4 , x _ 7 )