Emma proved that Samuel wanted to walk .
prove . agent ( x _ 1 , Emma ) AND prove . ccomp ( x _ 1 , x _ 4 ) AND want . agent ( x _ 4 , Samuel ) AND want . xcomp ( x _ 4 , x _ 6 ) AND walk . agent ( x _ 6 , Samuel )