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| )