The cat believed that Elizabeth craved to read .
* cat ( x _ 1 ) ; believe . agent ( x _ 2 , x _ 1 ) AND believe . ccomp ( x _ 2 , x _ 5 ) AND crave . agent ( x _ 5 , Elizabeth ) AND crave . xcomp ( x _ 5 , x _ 7 ) AND read . agent ( x _ 7 , Elizabeth )