Benjamin improved the donut beside the table .
* donut ( x _ 3 ) ; * table ( x _ 6 ) ; improve . agent ( x _ 1 , Benjamin ) AND improve . theme ( x _ 1 , x _ 3 ) AND donut . nmod . beside ( x _ 3 , x _ 6 )