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

Return to index.