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.
A historic, man made swimming pool located in the Colorado River has the comical nickname of "Deep Eddy".
Deep Eddy is in the Colorado River and the system may not recognize the name as comical.
( z1 nickname :ARG1 ( z2 pool :mod ( z3 swim ) :mod ( z4 history ) :ARG1-of ( z5 make :ARG0 ( z6 man ) ) :location ( z7 river :name ( z8 name :op "Colorado" :op "River" ) ) ) :ARG2 ( z9 name :op "Deep" :op "Eddy" ) :mod ( z10 comical ) )