Original: Antlers is a city in Pushmataha County, Oklahoma.
Simplified: Antlers is a city of Oklahoma in the United States.