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

Sorry, No manual entry for tf/4