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

Sorry, No manual entry for slice_preceq/2