create implication shaved_ice -> ice
Reason: the former requires a very fine version of the latter. I'm not sure if the fineness means that it doesn't qualify as ice, but I think its vague enough that this can work.
Also, shaved ice owes its origins to kakigori, since it was invented its Japan, so shouldn't we alias it to the Japanese term for it?
Updated by jxh2154