「古市の大溝」と名づけられている。