Did you know ... Search Documentation:
Predicate k_sub_graph/5

Sorry, No manual entry for k_sub_graph/5