Ella hoped that Ava was posted a donut on the shelf .
* shelf ( x _ 10 ) ; hope . agent ( x _ 1 , Ella ) AND hope . ccomp ( x _ 1 , x _ 5 ) AND post . recipient ( x _ 5 , Ava ) AND post . theme ( x _ 5 , x _ 7 ) AND donut ( x _ 7 ) AND donut . nmod . on ( x _ 7 , x _ 10 )