Benjamin hoped that Isabella cleaned the cake .
* cake ( x _ 6 ) ; hope . agent ( x _ 1 , Benjamin ) AND hope . ccomp ( x _ 1 , x _ 4 ) AND clean . agent ( x _ 4 , Isabella ) AND clean . theme ( x _ 4 , x _ 6 )