3.5.1 谓词的类型