Liam believed that a donut was fed to the buyer .
* buyer ( x _ 9 ) ; believe . agent ( x _ 1 , Liam ) AND believe . ccomp ( x _ 1 , x _ 6 ) AND donut ( x _ 4 ) AND feed . theme ( x _ 6 , x _ 4 ) AND feed . recipient ( x _ 6 , x _ 9 )