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

Return to index.