Liam proved that Eleanor floated a biscuit beside a table .
prove . agent ( x _ 1 , Liam ) AND prove . ccomp ( x _ 1 , x _ 4 ) AND float . agent ( x _ 4 , Eleanor ) AND float . theme ( x _ 4 , x _ 6 ) AND biscuit ( x _ 6 ) AND biscuit . nmod . beside ( x _ 6 , x _ 9 ) AND table ( x _ 9 )