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