May Day is a great international holiday.

• “五一”是伟大的国际性节日。