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.
(s1 COND s2)
s1
s2
IMPL
COND