A cat promised a dealer a cake .
cat ( x _ 1 ) AND promise . agent ( x _ 2 , x _ 1 ) AND promise . recipient ( x _ 2 , x _ 4 ) AND promise . theme ( x _ 2 , x _ 6 ) AND dealer ( x _ 4 ) AND cake ( x _ 6 )