It is a check on the strength of elimination rules: they must not be so strong that they include knowledge not already contained in their premises.
这是对除去规则力量的检查: 它们不能强大得包含了在前提中没有包含的知识。