The cat cleaned a horse beside the car .
* cat ( x _ 1 ) ; * car ( x _ 7 ) ; clean . agent ( x _ 2 , x _ 1 ) AND clean . theme ( x _ 2 , x _ 4 ) AND horse ( x _ 4 ) AND horse . nmod . beside ( x _ 4 , x _ 7 )