Relation pm#ending_collection (pm#collection,pm#collection)
  exclusion:  kif#sublist
  supertype:  pm#sub_collection__subcollection  a partial order relation
  subtype:  pm#final_segment__finalsegment (pm#collection,pm#collection)  the second collection is a final segment of the 1st