Semantic specification for example: CONC-SUB-EXT
(EXAMPLE :NAME CONC-SUB-EXT :GENERATEDFORM "We will go to the lake, although the weather is bad." :TARGETFORM "We will go to the lake, although the weather is bad." :LOGICALFORM (RST / EXT-CONCESSIVE :CONDITION-Q NONCONDITION :INTENSIFICATION-Q NONINTENSIFIED :FORMAL-REGISTER-Q FORMAL :DOMAIN (GO / NONDIRECTED-ACTION :LEX GO-VERB :ACTOR (SPEAKER / PERSON :NUMBER PLURAL) :DESTINATION (LA / OBJECT :LEX LAKE :DETERMINER THE) :TENSE FUTURE) :RANGE (PA / PROPERTY-ASCRIPTION :TENSE PRESENT :DOMAIN (WE / OBJECT :LEX WEATHER :DETERMINER THE) :RANGE (B / QUALITY :LEX BAD))) :SET-NAME CONCESSIONS )