tripleset: Austin, Texas IS_PART_OF Texas
tripleset: Texas LARGEST_CITY Houston
tripleset: Hays County, Texas COUNTY_SEAT San Marcos, Texas
tripleset: Austin, Texas IS_PART_OF Hays County, Texas
annotations.source: webnlg webnlg webnlg
annotations.text: Austin is in Hays County Texas, where the state's largest city is Houston. San Marcos is the county seat of Hays County, Texas. Austin is in Hays County, Texas whose county seat is San Marcos. The largest city in Texas is Houston. Austin, Hays County (with its seat in San Marcos) is in Texas (largest city being Houston), United States.