举例说明谓词的类型、谓项的格。