A lamb proved that Olivia appreciated that the girl knew .
* girl ( x _ 8 ) ; lamb ( x _ 1 ) AND prove . agent ( x _ 2 , x _ 1 ) AND prove . ccomp ( x _ 2 , x _ 5 ) AND appreciate . agent ( x _ 5 , Olivia ) AND appreciate . ccomp ( x _ 5 , x _ 9 ) AND know . agent ( x _ 9 , x _ 8 )