Task: Textual Entailment
Input (Persian): ضَحّاک، از پادشاهان افسانه‌ای ایران است. نام وی در اوستا به صورت "اژی‌دَهاکه" آمده‌است. معنای ضحاک «مار اهریمنی» است. 
معنی کلمه "ضحاک"، مار اهریمنی است.
Output (English): E