Benjamin expected that the donut was passed to Liam by Isabella .
* donut ( x _ 4 ) ; expect . agent ( x _ 1 , Benjamin ) AND expect . ccomp ( x _ 1 , x _ 6 ) AND pass . theme ( x _ 6 , x _ 4 ) AND pass . recipient ( x _ 6 , Liam ) AND pass . agent ( x _ 6 , Isabella )