Isabella proved that the raisin was appreciated by a teacher .
* raisin ( x _ 4 ) ; prove . agent ( x _ 1 , Isabella ) AND prove . ccomp ( x _ 1 , x _ 6 ) AND appreciate . theme ( x _ 6 , x _ 4 ) AND appreciate . agent ( x _ 6 , x _ 9 ) AND teacher ( x _ 9 )