Function kif#first (list -> ?) supertype: member (pm) first_part (pm) subtype: first (list -> ?)
Another search (with same display options)?