Deļ¬nition: The assertion (s1 CONC s2) indicates that the situation s1 holds in spite of the circumstance s2, which seemingly opposes s1.
(s1 CONC s2)
s1
s2