Did you know ... Search Documentation:
Predicate sub_atom/3

Sorry, No manual entry for sub_atom/3