Semantic specification for example: CONC-SUB-RST3
(EXAMPLE :NAME CONC-SUB-RST3 :GENERATEDFORM "Although the weather is bad, we will go to the lake." :TARGETFORM "ALTHOUGH the weather is bad, we will go to the lake." :LOGICALFORM (RST / RST-CONCESSIVE :CONDITION-Q NONCONDITION :INTENSIFICATION-Q NONINTENSIFIED :FORMAL-REGISTER-Q FORMAL :THEME PA :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 )