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
)