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

Return to index.