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