Semantic specification for example: CONC-CONJUNCTIVE

(EXAMPLE
    :NAME   CONC-CONJUNCTIVE
    :GENERATEDFORM   "The weather is bad."
    :TARGETFORM   "The weather is bad."
    :LOGICALFORM   
(PA / PROPERTY-ASCRIPTION :TENSE PRESENT :DOMAIN
    (WE / OBJECT :LEX WEATHER :DETERMINER THE)
    :RANGE
    (B / QUALITY :LEX BAD))
    :SET-NAME   CONCESSIONS
)

Return to index.