سنگ معدن ماشین خرد کن، نام