The boy returned a professor a cake .
* boy ( x _ 1 ) ; return . agent ( x _ 2 , x _ 1 ) AND return . recipient ( x _ 2 , x _ 4 ) AND return . theme ( x _ 2 , x _ 6 ) AND professor ( x _ 4 ) AND cake ( x _ 6 )