Semantic specification for example: EX-SET-96
(EXAMPLE :NAME EX-SET-96 :GENERATEDFORM "Tomorrow is Wednesday." :TARGETFORM "Tomorrow is Wednesday." :LOGICALFORM (BE / ASCRIPTION :DOMAIN (T / TIME-INTERVAL :LEX TOMORROW :SINGULARITY-Q NONSINGULAR) :RANGE (W / TIME-INTERVAL :NAME WEDNESDAY)) :SET-NAME |nigel-exerciseset| )