Semantic specification for example: EX-SET-80
(EXAMPLE :NAME EX-SET-80 :GENERATEDFORM "The computer is Smith's." :TARGETFORM "The computer is Smith's" :LOGICALFORM (C / CLASS-ASCRIPTION :DOMAIN (O / OBJECT :LEX COMPUTER :DETERMINER THE) :RANGE (O / OBJECT :SUBSTITUTION ELLIPSIS :OWNED-BY (P / PERSON :NAME SMITH))) :SET-NAME |nigel-exerciseset| )