Semantic specification for example: CONC-COORD2
(EXAMPLE :NAME CONC-COORD2 :GENERATEDFORM "The weather is bad, yet we will go to the lake." :TARGETFORM "The weather is bad, YET we will go to the lake." :LOGICALFORM (CON / RST-CONTRASTIVE :CONTRASTIVE-CONCESSION-Q CONCESSIVE :DOMAIN (PA / PROPERTY-ASCRIPTION :TENSE PRESENT :DOMAIN (WE / OBJECT :LEX WEATHER :DETERMINER THE) :RANGE (B / QUALITY :LEX BAD)) :RANGE (GO / NONDIRECTED-ACTION :LEX GO-VERB :ACTOR (SPEAKER / PERSON :NUMBER PLURAL) :DESTINATION (LA / OBJECT :LEX LAKE :DETERMINER THE) :TENSE FUTURE)) :SET-NAME CONCESSIONS )