A teacher liked the cat on the table .
* cat ( x _ 4 ) ; * table ( x _ 7 ) ; teacher ( x _ 1 ) AND like . agent ( x _ 2 , x _ 1 ) AND like . theme ( x _ 2 , x _ 4 ) AND cat . nmod . on ( x _ 4 , x _ 7 )