The dog thought that the cake was thrown by a pig .
* dog ( x _ 1 ) ; * cake ( x _ 5 ) ; think . agent ( x _ 2 , x _ 1 ) AND think . ccomp ( x _ 2 , x _ 7 ) AND throw . theme ( x _ 7 , x _ 5 ) AND throw . agent ( x _ 7 , x _ 10 ) AND pig ( x _ 10 )