Sophia liked that the cookie was shortened by Ava .
* cookie ( x _ 4 ) ; like . agent ( x _ 1 , Sophia ) AND like . ccomp ( x _ 1 , x _ 6 ) AND shorten . theme ( x _ 6 , x _ 4 ) AND shorten . agent ( x _ 6 , Ava )