I think there will always be exceptions to the rule, and in the case of an
independant mill serving many mines then I can see no reason for excluding it from the DB. This would only be like the independant smelting and blowing houses that served the mines. The operative word here is INDEPENDANT. What we have seen recently is the inclusion of a mines mill as a seperate concern and by default this would need to be extended to ALL mines on the DB....a clearly ridiculous notion. Also Shafts belong to mines, they are not independant entities; I don't remember seeing any references to in Dines to 'Lyle's Shaft Mine' for instance.
I also noticed the inclusion of Roseworthy Hammer Mills who provided tools for the many mines throughout Cornwall and elsewhere. Not a mine or a smelter, but a merchant involved with supply. Should we also include Dunkerton Colliery in Bath for providing the coal, The Camborne Gas Company, or indeed A&G Treglown of Pool, drapers, outfitters and general merchants who supplied duck suits to the managers of South Crofty?
Seriously though, there is a need for some clear and distinct thought here, and the application of rationality. If you want a clunky disordered DB, then continue, but for me a mine is a mine, and by that token alone, a mining database should be just what it says....QED !
"You Chinese think of everything!"
"But I''m not Chinese!"
"Then you must have forgotten something!"