(noun.) volcanic rock in which rounded cavities formed by expanding gas have subsequently become filled with mineral deposits.
手打:鲁迪