A donut was passed to the manager by a human .
* manager ( x _ 6 ) ; donut ( x _ 1 ) AND pass . theme ( x _ 3 , x _ 1 ) AND pass . recipient ( x _ 3 , x _ 6 ) AND pass . agent ( x _ 3 , x _ 9 ) AND human ( x _ 9 )