Oliver hoped that Ava shortened the flower .
* flower ( x _ 6 ) ; hope . agent ( x _ 1 , Oliver ) AND hope . ccomp ( x _ 1 , x _ 4 ) AND shorten . agent ( x _ 4 , Ava ) AND shorten . theme ( x _ 4 , x _ 6 )