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