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.
Deep Eddy Pool began as a swimming hole in the Colorado River but became a resort during the depression, however, it is man made and located in Austin, TX.
( z1 contrast :ARG1 ( z2 begin :ARG1 ( z3 lake :name ( z4 name :op "Deep" :op "Eddy" :op "Pool" ) ) :ARG2 ( z5 hole :location-of ( z6 swim ) :location ( z7 river :name ( z8 name :op "Colorado" :op "River" ) ) ) ) :ARG2 ( z9 become :ARG1 z3 :ARG2 ( z10 resort ) :time ( z11 depress ) ) )