A tiger froze the cat in the house .
* cat ( x _ 4 ) ; * house ( x _ 7 ) ; tiger ( x _ 1 ) AND freeze . agent ( x _ 2 , x _ 1 ) AND freeze . theme ( x _ 2 , x _ 4 ) AND cat . nmod . in ( x _ 4 , x _ 7 )