Did you know ... Search Documentation:
Predicate derive/4

Sorry, No manual entry for derive/4