Henry thought that William wanted to walk .
think . agent ( x _ 1 , Henry ) AND think . ccomp ( x _ 1 , x _ 4 ) AND want . agent ( x _ 4 , William ) AND want . xcomp ( x _ 4 , x _ 6 ) AND walk . agent ( x _ 6 , William )