A boy declared that Sofia drew a donut .
boy ( x _ 1 ) AND declare . agent ( x _ 2 , x _ 1 ) AND declare . ccomp ( x _ 2 , x _ 5 ) AND draw . agent ( x _ 5 , Sofia ) AND draw . theme ( x _ 5 , x _ 7 ) AND donut ( x _ 7 )