Ava expected that the cookie was reddened by the boy .
* cookie ( x _ 4 ) ; * boy ( x _ 9 ) ; expect . agent ( x _ 1 , Ava ) AND expect . ccomp ( x _ 1 , x _ 6 ) AND redden . theme ( x _ 6 , x _ 4 ) AND redden . agent ( x _ 6 , x _ 9 )