predicate

val predicate: AckFunPredicate