A cup was sold to a servant by a cat .
cup ( x _ 1 ) AND sell . theme ( x _ 3 , x _ 1 ) AND sell . recipient ( x _ 3 , x _ 6 ) AND sell . agent ( x _ 3 , x _ 9 ) AND servant ( x _ 6 ) AND cat ( x _ 9 )