The butterfly was promised the cake by Emma .
* butterfly ( x _ 1 ) ; * cake ( x _ 5 ) ; promise . recipient ( x _ 3 , x _ 1 ) AND promise . theme ( x _ 3 , x _ 5 ) AND promise . agent ( x _ 3 , Emma )