====== CONC: Relation Expressing a Concession ======

**Definition**: The assertion ''(s1 CONC s2)'' indicates that the situation ''s1'' holds in spite of the circumstance ''s2'', which seemingly opposes ''s1''.