A donut was promised to the host by the girl .
* host ( x _ 6 ) ; * girl ( x _ 9 ) ; donut ( x _ 1 ) AND promise . theme ( x _ 3 , x _ 1 ) AND promise . recipient ( x _ 3 , x _ 6 ) AND promise . agent ( x _ 3 , x _ 9 )