[一]
洫,渠也.以石为之,犹今之水门也.