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 swimming pool was made from just men
It says it was man-made, but that term doesn't just mean it was built by only the male species, it could've have females involved too
( z1 make :ARG1 ( z2 pool :mod ( z3 swim ) ) :ARG2 ( z4 man :mod ( z5 just ) ) )