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

Sorry, No manual entry for has_subtype/2