Suppose "Harry Potter and the Sorcerer's Stone" is the first book in the Harry Potter series written by J.K. Rowling. The book follows the story of a young boy named Harry Potter who discovers he is a wizard and attends Hogwarts School of Witchcraft and Wizardry. The book was first published in 1997 and quickly became a bestseller, launching a successful book and film franchise.
Can we infer that "Harry Potter attends a school for magic called Hogwarts"?