Relation pm#contextualizing_relation__contextualizingrelation (pm#description,*)
  supertype:  pm#relation_from_description  pm#what_relation
  subtype:  pm#contextualizing_logical_relation__contextualizinglogicalrelation (pm#description,pm#description)
     subtype:  pm#or (pm#description,pm#description)
     subtype:  pm#xor__either (pm#description,pm#description)
     subtype:  pm#implication__then___therefore__therefore (pm#description,pm#description)
        subtype:  pm#equivalence__equivalentTo___iff__iff (pm#description,pm#description)
        subtype:  sumo#entails__entail (sumo#formula,sumo#formula)  the second argument is logically entailed from the first by means of the proof theory of SUO-KIF
  subtype:  pm#modality (pm#description,pm#modality_measure)
  subtype:  pm#believer (pm#description,pm#causal_entity)
  subtype:  pm#overriding_specialization (pm#description,pm#description)
  subtype:  pm#corrective_statement (pm#description,pm#description)
     subtype:  pm#corrective_specialization (pm#description,pm#description)
        subtype:  pm#corrective_existential_specialization (pm#description,pm#description)
     subtype:  pm#corrective_generalization (pm#description,pm#description)
        subtype:  pm#corrective_existential_generalization (pm#description,pm#description)
     subtype:  pm#corrective_restriction__corrective_precision (pm#description,pm#description)
        subtype:  pm#corrective_existential_specialization (pm#description,pm#description)
     subtype:  pm#corrective_extension (pm#description,pm#description)
     subtype:  pm#corrective_reformulation (pm#description,pm#description)
     subtype:  pm#correction (pm#description,pm#description)