支持集策略对参加归结的子句提出了什么限制？

支持集策略要求在每次归结时，亲本子句中至少应有一个是由目标的否定所得到的子句或者它们的后代。

略