Function kif#rest (list -> list) supertype: relation_between_collections (pm) subtype: rest (list -> list)
Another search (with same display options)?