Update the User Manual section on defining category predicates