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 is a very old pool and bathhouse that needs some major renovation.
( z1 and :op ( z2 pool ) :op ( z3 bathhouse ) :mod ( z4 old :degree ( z5 very ) ) :domain ( z6 facility :name ( z7 name :op "Deep" :op "Eddy" :op "Pool" ) ) :ARG0-of ( z8 need :ARG1 ( z9 renovate :ARG1 z6 :ARG1-of ( z10 major :degree ( z11 some ) ) ) ) )