Semantic specification for example: EX-SET-43
(EXAMPLE :NAME EX-SET-43 :GENERATEDFORM "Nobody will be convinced by his promise to create thirteen large systems." :TARGETFORM "Nobody will be convinced by his promise to create thirteen large systems." :LOGICALFORM (CONVINCE / COGNITION :TENSE FUTURE :LEX CONVINCE :THEME NOBODY :PP-THEME NOBODY :PHENOMENON (NOBODY / PERSON :EMPTY-NUMBER-Q EMPTY :SET-TOTALITY-Q TOTAL :SET-TOTALITY-POLARITY-Q NEGATIVE) :SENSER (PROMISE / ABSTRACTION :LEX PROMISE :OWNED-BY (HIM / PERSON :PRONOUN HE) :PROCESS (CREATE / CREATIVE-MATERIAL-ACTION :LEX CREATE :ACTOR HIM :ACTEE (SYSTEM / OBJECT :LEX SYSTEM :NUMBER PLURAL :QUANTITY 13 :SIZE-PROPERTY-ASCRIPTION (LARGE / SIZE :LEX LARGE))))) :SET-NAME |nigel-exerciseset| )