Emily proved that a donut was noticed by the child .
* child ( x _ 9 ) ; prove . agent ( x _ 1 , Emily ) AND prove . ccomp ( x _ 1 , x _ 6 ) AND donut ( x _ 4 ) AND notice . theme ( x _ 6 , x _ 4 ) AND notice . agent ( x _ 6 , x _ 9 )