The baby proved that Sophia liked that a cow smiled .
* baby ( x _ 1 ) ; prove . agent ( x _ 2 , x _ 1 ) AND prove . ccomp ( x _ 2 , x _ 5 ) AND like . agent ( x _ 5 , Sophia ) AND like . ccomp ( x _ 5 , x _ 9 ) AND cow ( x _ 8 ) AND smile . agent ( x _ 9 , x _ 8 )