The final check of consistency of the justifications of all defaults that have been applied implies that some theories do not have any extensions.
最终的所有已经应用的缺省的论据的一致性检查使某些理论不能有任何扩展。