Relation pm#implication__then___therefore__therefore (pm#description,pm#description)
  supertype:  pm#contextualizing_logical_relation__contextualizinglogicalrelation
  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