Deep Eddy Pool is a historic, man-made swimming pool in Austin, Texas. Deep Eddy is the oldest swimming pool in Texas and features a bathhouse built during the Depression era by the Works Progress Administration. The pool began as a swimming hole in the Colorado River, became a resort in the 1920s, and is today a popular swimming pool operated by the City of Austin.
due to the age of the pool, not many people come anymore
( z1 come :ARG1 ( z2 person :quant ( z3 many :polarity - ) ) :time ( z4 anymore ) :ARG1-of ( z5 cause :ARG0 ( z6 age :ARG1 ( z7 pool ) ) ) )