Relation pm#relation_from_a_world (dolce#world,*)
  supertype:  pm#relation_using_a_world_as_argument
  subtype:  pm#concept_in_Dolce_Full (dolce#world,?)
     subtype:  dolce#non-empty_universal__NEP (dolce#world,dolce#universal)
  subtype:  pm#relation_in_Dolce_Full (dolce#world,*)
     subtype:  dolce#wldr__WLDR (dolce#world,dolce#world)
     subtype:  dolce#constitution__K (dolce#world,dolce#particular,dolce#particular,dolce#particular)
     subtype:  pm#participant_in_Dolce_Full (dolce#world,dolce#particular,dolce#particular+)
        subtype:  dolce#participant__PC (dolce#world,dolce#particular,dolce#particular,dolce#particular)
        subtype:  dolce#total_participant__totalparticipant__PC.T (dolce#world,dolce#particular,dolce#particular)
        subtype:  dolce#temporary_total_participant__temporarytotalparticipant__PC.t (dolce#world,dolce#particular,dolce#particular,dolce#particular)
        subtype:  dolce#constant_participant (dolce#world,dolce#particular,dolce#particular+)
        subtype:  dolce#maximal_participant__maximalparticipant__mpc (dolce#world,dolce#particular,dolce#particular)
        subtype:  dolce#maximal_physical_participant__mppc (dolce#world,dolce#particular,dolce#particular)
     subtype:  pm#part_in_Dolce_Full (dolce#world,dolce#particular,dolce#particular+)
        subtype:  dolce#part__P (dolce#world,dolce#particular,dolce#particular,dolce#particular)
        subtype:  dolce#atomic_part__AtP (dolce#world,dolce#particular,dolce#particular)
        subtype:  dolce#temporary_atomic_part__AtP (dolce#world,dolce#particular,dolce#particular,dolce#particular)
        subtype:  dolce#proper_part__PP (dolce#world,dolce#particular,dolce#particular)  a subpart (different from the whole)
        subtype:  dolce#temporary_proper_part__PP (dolce#world,dolce#particular,dolce#particular,dolce#particular)
        subtype:  dolce#temporary_part__temporarypart__P (dolce#world,dolce#particular,dolce#particular,dolce#particular)
     subtype:  pm#quality_in_Dolce_Full (dolce#world,dolce#particular,dolce#particular+)
        subtype:  dolce#qt__quality (dolce#world,dolce#particular,dolce#particular)
        subtype:  dolce#direct_quality__dqt (dolce#world,dolce#particular,dolce#particular)
     subtype:  pm#quale_in_Dolce_Full (dolce#world,dolce#particular,dolce#particular+)
        subtype:  dolce#ql__quale (dolce#world,dolce#particular,dolce#particular)
        subtype:  dolce#temporary_quale__temporaryquale__ql (dolce#world,dolce#particular,dolce#particular,dolce#particular)