Semantic specification for example: EX-SET-94
(EXAMPLE
:NAME EX-SET-94
:GENERATEDFORM "Nothing will cause problems before 1988."
:TARGETFORM "Nothing will cause problems before 1988."
:LOGICALFORM
(C / NONDIRECTED-ACTION :LEX CAUSE :TENSE FUTURE :ACTOR
(N / OBJECT :LEX NOTHING :SINGULARITY-Q NONSINGULAR :PLURALITY-Q
NONPLURAL)
:ACTEE
(P / OBJECT :LEX PROBLEM :NUMBER PLURAL)
:PRECEDE
(YEAR / YEAR :NAME NINETEENEIGHTYEIGHT))
:SET-NAME |nigel-exerciseset|
)