William believed that Amelia ate a cake .
believe . agent ( x _ 1 , William ) AND believe . ccomp ( x _ 1 , x _ 4 ) AND eat . agent ( x _ 4 , Amelia ) AND eat . theme ( x _ 4 , x _ 6 ) AND cake ( x _ 6 )