Did you know ... Search Documentation:
Predicate of/2

Sorry, No manual entry for of/2