Charlotte was given the cake beside the table .
* cake ( x _ 4 ) ; * table ( x _ 7 ) ; give . recipient ( x _ 2 , Charlotte ) AND give . theme ( x _ 2 , x _ 4 ) AND cake . nmod . beside ( x _ 4 , x _ 7 )