归类：对子句L和M，若存在一个代换s,使得Ls为M的一个子集，则L将M归类。 归类测试的目的是判断两个子句间是否有归类关系，如果有，在推理过程中应该将被归类的子句删除，以提高推理效率。