Elijah proved that a researcher rolled the cake in a house beside the table .
* cake ( x _ 7 ) ; * table ( x _ 13 ) ; prove . agent ( x _ 1 , Elijah ) AND prove . ccomp ( x _ 1 , x _ 5 ) AND researcher ( x _ 4 ) AND roll . agent ( x _ 5 , x _ 4 ) AND roll . theme ( x _ 5 , x _ 7 ) AND cake . nmod . in ( x _ 7 , x _ 10 ) AND house ( x _ 10 ) AND house . nmod . beside ( x _ 10 , x _ 13 )