They mined under the wall.

• 他们在城墙下挖坑道。