http://wiki.openstreetmap.org/wiki/Proposed_features/Surface_Mining
http://wiki.openstreetmap.org/wiki/Proposed_features/surface_mine

Do we assume the resource will be gravel?
--
RP: looks good with mining_resource=gravel
--
HB: there seems to be some disagreement over mining_resouce= vs. resource=,
depending on landuse=quarry or =surface_mining.
http://wiki.openstreetmap.org/wiki/Tag:landuse%3Dquarry
http://wiki.openstreetmap.org/wiki/Key:resource
http://wiki.openstreetmap.org/wiki/Tag:resource%3Dsand
http://wiki.openstreetmap.org/wiki/Tag:resource%3Daggregate
http://wiki.openstreetmap.org/wiki/Tag:resource%3Dgravel
My 1c vote would mildly favour resource=.
--
Further ML discussion:
https://groups.google.com/d/msg/nzopengis/-/vuBP-Z5l-IcJ