carve out a tunnel in a rock - Spanish English Dictionary