miner\'s cat synonym