A Principled Approach to Reasoning about the Specificity of