The boy ate a champion in the house .
* boy ( x _ 1 ) ; * house ( x _ 7 ) ; eat . agent ( x _ 2 , x _ 1 ) AND eat . theme ( x _ 2 , x _ 4 ) AND champion ( x _ 4 ) AND champion . nmod . in ( x _ 4 , x _ 7 )