A kid proved that the dog painted Emma .
* dog ( x _ 5 ) ; kid ( x _ 1 ) AND prove . agent ( x _ 2 , x _ 1 ) AND prove . ccomp ( x _ 2 , x _ 6 ) AND paint . agent ( x _ 6 , x _ 5 ) AND paint . theme ( x _ 6 , Emma )