Semantic specification for example: EX-SET-97

(EXAMPLE
    :NAME   EX-SET-97
    :GENERATEDFORM   "Smith heard the television, while sitting at his computer."
    :TARGETFORM   "Smith heard the television while sitting at his computer."
    :LOGICALFORM   
(RST / TEMPORAL-INCLUSIVE :TIME-INCLUSION-Q INCLUDED :DOMAIN
     (HEAR / PERCEPTION :LEX HEAR :TENSE PAST :SENSER
           (S / MALE :NAME SMITH)
           :PHENOMENON
           (T / OBJECT :LEX TELEVISION :DETERMINER THE))
     :RANGE
     (SS / STATIC-SPATIAL :LEX SIT :TENSE PAST-CONTINOUS :DOMAIN S
         :RANGE
         (C / OBJECT :LEX COMPUTER :OWNED-BY S)))
    :SET-NAME   |nigel-exerciseset|
)

Return to index.