Semantic specification for example: CONC-COORD1
(EXAMPLE
:NAME CONC-COORD1
:GENERATEDFORM "The weather is bad, but we will go to the lake."
:TARGETFORM "The weather is bad, BUT we will go to the lake."
:LOGICALFORM
(CON / RST-CONTRASTIVE :CONTRASTIVE-CONCESSION-Q NONCONCESSIVE :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
)