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