Relation pm#relation_from_attribute_or_quality_or_measure (pm#attribute_or_quality_or_measure,*)
  exclusion:  pm#relation_from_situation  pm#spatial_relation_from_entity_with_spatial_feature  pm#relation_from_collection  pm#relation_from_description_content/medium/container
  supertype:  pm#relation_from/to_thing_of_common_kind  this type permits to categorize relations according to their signatures and hence offers (i) a concise way to set essential exclusion relations, and (ii) a systematic and easy-to-follow categorization
  subtype:  sumo#extension_fn__extensionfn (sumo#Attribute -> sumo#class)  a unary_function that maps an attribute into the class whose condition for membership is the attribute
  subtype:  pm#relation_to_another_attribute_or_quality_or_measure (pm#attribute_or_quality_or_measure,pm#attribute_or_quality_or_measure)
     subtype:  pm#measure (pm#attribute_or_quality_or_measure,pm#attribute_or_quality_or_measure)  e.g., [a weight, measure: 75 kg]
     subtype:  dl#q_location__qlocation (dl#quality,dl#region)
        subtype:  dl#has_quale__hasquale__ql (dl#quality,dl#quale)