标签: 类型谓词