Simplify the following text for a Grade 4 native English-speaking person.
Original: More information on the history of Antlers may be found in the Pushmataha County Historical Society .
Simplified: Antlers is a city of Oklahoma in the United States . It is the county seat of Pushmataha County .