Hannah proved that a cup was slid by the dog .
* dog ( x _ 9 ) ; prove . agent ( x _ 1 , Hannah ) AND prove . ccomp ( x _ 1 , x _ 6 ) AND cup ( x _ 4 ) AND slide . theme ( x _ 6 , x _ 4 ) AND slide . agent ( x _ 6 , x _ 9 )