谓词功能元件

predicate functor