A cat decomposed the donut on the surface .
* donut ( x _ 4 ) ; * surface ( x _ 7 ) ; cat ( x _ 1 ) AND decompose . agent ( x _ 2 , x _ 1 ) AND decompose . theme ( x _ 2 , x _ 4 ) AND donut . nmod . on ( x _ 4 , x _ 7 )