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

Sorry, No manual entry for exp_diffex/4