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.
The city of austin does not do a good job operating this pool
( z1 do :polarity - :ARG0 ( z2 city :name ( z3 name :op "Austin" ) ) :ARG1 ( z4 job :ARG1-of ( z5 good ) ) :ARG2 ( z6 operate :ARG0 z2 :ARG1 ( z7 pool :mod ( z8 this ) ) ) )