Emma proved that the dog liked that the cake was given to Liam .
* dog ( x _ 4 ) ; * cake ( x _ 8 ) ; prove . agent ( x _ 1 , Emma ) AND prove . ccomp ( x _ 1 , x _ 5 ) AND like . agent ( x _ 5 , x _ 4 ) AND like . ccomp ( x _ 5 , x _ 10 ) AND give . theme ( x _ 10 , x _ 8 ) AND give . recipient ( x _ 10 , Liam )