David liked that a king liked that the host slept .
* host ( x _ 8 ) ; like . agent ( x _ 1 , David ) AND like . ccomp ( x _ 1 , x _ 5 ) AND king ( x _ 4 ) AND like . agent ( x _ 5 , x _ 4 ) AND like . ccomp ( x _ 5 , x _ 9 ) AND sleep . agent ( x _ 9 , x _ 8 )