Emma proved that the cat knew a plant in a house .
* cat ( x _ 4 ) ; prove . agent ( x _ 1 , Emma ) AND prove . ccomp ( x _ 1 , x _ 5 ) AND know . agent ( x _ 5 , x _ 4 ) AND know . theme ( x _ 5 , x _ 7 ) AND plant ( x _ 7 ) AND plant . nmod . in ( x _ 7 , x _ 10 ) AND house ( x _ 10 )