Other default rules may then be applied to the resulting theory.
其他缺省规则接着可以应用于结果的理论。