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

Return to index.