====== COND: Conditional Relation ======

**Definition**: The relation ''(s1 COND s2)'' specifies that ''s1'' is a sufficient condition for situation ''s2''. If ''s2'' is an event, then ''s1'' activates the occurrence of ''s2''. In contrast to the relation ''IMPL'', the relation ''COND'' is not transitive.