information about Predicate functor logic field