A dog liked that Olivia ate the cat .
* cat ( x _ 7 ) ; dog ( x _ 1 ) AND like . agent ( x _ 2 , x _ 1 ) AND like . ccomp ( x _ 2 , x _ 5 ) AND eat . agent ( x _ 5 , Olivia ) AND eat . theme ( x _ 5 , x _ 7 )