2.2 谓词表示