英语语法分析

In this paper, an improved paramodulation method is also presented, that prohibits the paramodulation between equalities .

文中还提出了一种改进的调解方法，其中禁止等词之间的调解。