3.5.2 谓词之间的关系