The cake was promised to a mouse by a girl .
* cake ( x _ 1 ) ; promise . theme ( x _ 3 , x _ 1 ) AND promise . recipient ( x _ 3 , x _ 6 ) AND promise . agent ( x _ 3 , x _ 9 ) AND mouse ( x _ 6 ) AND girl ( x _ 9 )