William proved that the cat passed the crown to a student .
* cat ( x _ 4 ) ; * crown ( x _ 7 ) ; prove . agent ( x _ 1 , William ) AND prove . ccomp ( x _ 1 , x _ 5 ) AND pass . agent ( x _ 5 , x _ 4 ) AND pass . theme ( x _ 5 , x _ 7 ) AND pass . recipient ( x _ 5 , x _ 10 ) AND student ( x _ 10 )