Semantic specification for example: EX-SET-1
(EXAMPLE :NAME EX-SET-1 :GENERATEDFORM "It is raining cats and dogs." :TARGETFORM "It is raining cats and dogs." :LOGICALFORM (A / AMBIENT-PROCESS :LEX RAIN :TENSE PRESENT-CONTINUOUS :ACTEE (C / OBJECT :LEX CATS-AND-DOGS :NUMBER MASS)) :SET-NAME |nigel-exerciseset| )