Task: Textual Entailment
Input (Persian): پاینده بادا ایران اولین سرود ملی رسمی جمهوری اسلامی ایران است که پس از انقلاب ، براساس شعری از ابوالقاسم حالت و موسیقی محمد بیگلری‌پور ساخته شد.
"ای ایران"، اسم شعر نخستین سرود ملی رسمی جمهوری اسلامی ایران می باشد.
Output (English): C