Jack proved that the cake was lended to a princess by Benjamin .
* cake ( x _ 4 ) ; prove . agent ( x _ 1 , Jack ) AND prove . ccomp ( x _ 1 , x _ 6 ) AND lend . theme ( x _ 6 , x _ 4 ) AND lend . recipient ( x _ 6 , x _ 9 ) AND lend . agent ( x _ 6 , Benjamin ) AND princess ( x _ 9 )