Semantic specification for example: CONC-SUB-RST1
(EXAMPLE :NAME CONC-SUB-RST1 :GENERATEDFORM "Even if the weather is bad, we will go to the lake." :TARGETFORM "EVEN IF the weather is bad, we will go to the lake." :LOGICALFORM (RST / RST-CONCESSIVE :CONDITION-Q CONDITION :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 )