The cat returned a watch to the baby .
* cat ( x _ 1 ) ; * baby ( x _ 7 ) ; return . agent ( x _ 2 , x _ 1 ) AND return . theme ( x _ 2 , x _ 4 ) AND return . recipient ( x _ 2 , x _ 7 ) AND watch ( x _ 4 )