Semantic specification for example: EX-SET-3

(EXAMPLE
    :NAME   EX-SET-3
    :GENERATEDFORM   "Either it is going to rain, or it may snow."
    :TARGETFORM   "Either it is going to rain or it may snow."
    :LOGICALFORM   
(D / DISJUNCTION :DOMAIN
   (A1 / AMBIENT-PROCESS :LEX RAIN :TENSE FUTURE-IN-PRESENT)
   :RANGE
   (A2 / AMBIENT-PROCESS :LEX SNOW :MODALITY MAY))
    :SET-NAME   |nigel-exerciseset|
)

Return to index.