Semantic specification for example: EX-SET-14
(EXAMPLE :NAME EX-SET-14 :GENERATEDFORM "This class of system is Smith's creation, isn't it?" :TARGETFORM "This class of system is Smith's creation, isn't it?" :LOGICALFORM (ASCR / CLASS-ASCRIPTION :DOMAIN (SYS1 / OBJECT :LEX SYSTEM :DETERMINER ZERO :ELEMENT-OF (S / ORDERED-SET :LEX CLASS :NUMBER SINGULAR :DETERMINER THIS)) :RANGE (CR / CREATIVE-MATERIAL-ACTION :LEX CREATION :OWNED-BY (P / PERSON :NAME SMITH)) :CONFIRMATION-REQUEST-Q CONFIRMATIONREQUEST) :SET-NAME |nigel-exerciseset| )