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