The boy said that Benjamin declared that a donut was eaten .
* boy ( x _ 1 ) ; say . agent ( x _ 2 , x _ 1 ) AND say . ccomp ( x _ 2 , x _ 5 ) AND declare . agent ( x _ 5 , Benjamin ) AND declare . ccomp ( x _ 5 , x _ 10 ) AND donut ( x _ 8 ) AND eat . theme ( x _ 10 , x _ 8 )