The type of the predicate, e. G.

• 谓词的类型,例如。