A jolly man dressed in red and smiling.
A man is happy.