Task: Textual Entailment
Input (Persian): در سده‌ی چهارم قمری/دهم میلادی قرلق‌ها مسلمان شدند و نخستین پادشاه آن‌ها سُتوک (سُتُق) بُغراخان بود که بعد از مسلمان شدن نامش را به عبدالکریم تغییر داد. او از کاشغر بر قوم خود فرمانروایی می‌کرد. 
نخستین پادشاه قرلقان که اسلام پذیرفت، ستوک بغراخان بود.
Output (English): E