Definition: The relation (s1 CIRC s2) specifies the connection between a situation s1 and an accompanying circumstance or concomitant situation s2.
(s1 CIRC s2)
s1
s2