I would think the first one.
If I have ten chicken nuggets and I eat seven I am using subtraction
It's excavate. The meaning straight from the dictionary is "remove earth carefully and systematically from (an area) in order to find buried remains." which is my proof for it. Have a good day!
Ask traBolic, he uses them all the time
