Task: Textual Entailment
Input (Persian): به پاس خدمات شیخ بهایی به علم ستاره‌شناسی، یونسکو سال ۲۰۰۹ که مصادف با سال نجوم می‌بوده، نام وی را در لیست مفاخر ایران ثبت کرد.
شیخ بهایی از نوادگان حارث همدانی است که در بعلبک متولد شد. 
Output (English): N