Question: Which Texas city is known for gambling and is home to the Texas Lottery?
Sentence (from "Texas Lottery"): It is operated by the Texas Lottery Commission, headquartered in downtown Austin.
Relevant evidence: Yes