A cake was returned to the lion by the student .
* lion ( x _ 6 ) ; * student ( x _ 9 ) ; cake ( x _ 1 ) AND return . theme ( x _ 3 , x _ 1 ) AND return . recipient ( x _ 3 , x _ 6 ) AND return . agent ( x _ 3 , x _ 9 )