Pressure grouting is commonly adopted for mending leakage in the construction of basement.

• 地下室施工在解决防水补漏问题时，压力灌浆是其中较常用的手段。