DP约简F（sic）DP上等词集（F），应用于子句集F和变量上等词，用其解析词替换所有包含上等词的子句（在上等词）。 子句数减少的基本情况（即c（DP upsilon（F））<c（F））是奇异的DP归约法（sDP归约法），其中up​​silon必须以一种极性出现一次。 因为最小不能满足的F是MU的一个元素，所以sDP还原会产生另一个F'：= DP upsilon（F）是具有相同缺陷的MU的一个元素，即delta（F'）= delta（F）; 召回delta（F）= c（F）-n（F），使用