公谷造句怎么写

古有愚公谷，今予家是溪，而名莫能定，士之居者，犹龂龂然，不可以不更也，故更之为愚溪。

古有愚公谷，今予家是溪，而名莫能定故更之为愚溪。