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