Aria respected that the donut was mailed to Alexander .
* donut ( x _ 4 ) ; respect . agent ( x _ 1 , Aria ) AND respect . ccomp ( x _ 1 , x _ 6 ) AND mail . theme ( x _ 6 , x _ 4 ) AND mail . recipient ( x _ 6 , Alexander )