Madison proved that Emma cooked a key on the stool .
* stool ( x _ 9 ) ; prove . agent ( x _ 1 , Madison ) AND prove . ccomp ( x _ 1 , x _ 4 ) AND cook . agent ( x _ 4 , Emma ) AND cook . theme ( x _ 4 , x _ 6 ) AND key ( x _ 6 ) AND key . nmod . on ( x _ 6 , x _ 9 )