A large; flat sandstone used for scouring a ship's decks.

磨石(用以磨船上甲板者)。

To scrub (a deck) with this stone.

以磨石擦之。

To use a holystone.

用磨石磨擦。