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