Noah proved that Lucas ate the girl in the tube .
* girl ( x _ 6 ) ; * tube ( x _ 9 ) ; prove . agent ( x _ 1 , Noah ) AND prove . ccomp ( x _ 1 , x _ 4 ) AND eat . agent ( x _ 4 , Lucas ) AND eat . theme ( x _ 4 , x _ 6 ) AND girl . nmod . in ( x _ 6 , x _ 9 )