Relation pm#final_segment_of__finalsegmentof (pm#collection,pm#collection)  USE pm#final_segment INSTEAD
  supertype:  pm#sub_collection_of  DO NOT use this type; it only exists because the SUMO does not respect common reading conventions of parameters
  inverse:  pm#final_segment
  subtype:  kif#sublist__final_segment_of__finalsegmentof (sumo#list,sumo#list)  USE pm#final_segment INSTEAD OF THIS RELATION TYPE; "sublist" is a misleading name; "final_segment_of" is better