Elijah proved that the girl helped a lawyer in the house .
* girl ( x _ 4 ) ; * house ( x _ 10 ) ; prove . agent ( x _ 1 , Elijah ) AND prove . ccomp ( x _ 1 , x _ 5 ) AND help . agent ( x _ 5 , x _ 4 ) AND help . theme ( x _ 5 , x _ 7 ) AND lawyer ( x _ 7 ) AND lawyer . nmod . in ( x _ 7 , x _ 10 )