The English term "miner" matches the Chinese term "kuànggông"