人工开发的一个规模比较大的休闲公园。