结构推理 系统中的一般类应符合哪些条件之一才有存在的价值，如果不符合其中的任何条件，则应考虑简化。