David valued that a cake was painted by Emma .
value . agent ( x _ 1 , David ) AND value . ccomp ( x _ 1 , x _ 6 ) AND cake ( x _ 4 ) AND paint . theme ( x _ 6 , x _ 4 ) AND paint . agent ( x _ 6 , Emma )