Luke thought that the cake was snapped by a cat .
* cake ( x _ 4 ) ; think . agent ( x _ 1 , Luke ) AND think . ccomp ( x _ 1 , x _ 6 ) AND snap . theme ( x _ 6 , x _ 4 ) AND snap . agent ( x _ 6 , x _ 9 ) AND cat ( x _ 9 )