====== IMPL: Implication Relation Between Situations ======

**Definition**: The assertion ''(s1 IMPL s2)'' expresses that the situation or concept ''s1'' implies the situation or the concept ''s2'' on a purely conceptual level, i.e. ''IMPL'' represents an analytical relation of conclusion based only on the intensional meaning of the arguments indicated. The connection between the cognitive roles of the concepts participating in the description of the arguments ''s1'' and ''s2'' is established by the entities shared by the conceptual capsules representing the situations ''s1'' and ''s2''. The relation ''IMPL'' is transitive.