Semantic specification for example: EX-SET-11

(EXAMPLE
    :NAME   EX-SET-11
    :GENERATEDFORM   "Each system from New York was created by his and Smith's twentieth-century programmer."
    :TARGETFORM   "Each system from New York was created by his and Smith's twentieth-century programmer."
    :LOGICALFORM   
(M / CREATIVE-MATERIAL-ACTION :LEX CREATE :TENSE PAST :PP-THEME T :THEME
   T :ACTOR
   (P1 / PERSON :LEX PROGRAMMER :OWNED-BY
       (:AND (P2 / MALE :PRONOUN HE)
             (P3 / PERSON :NAME SMITH))
       :IDENTIFIABILITY-Q IDENTIFIABLE :TEMPORAL-QUAL-Q NOTEMPORAL
       :TEMPORAL-NONORDERING
       (C / TIME-INTERVAL :NAME TWENTIETH-CENTURY))
   :ACTEE
   (T / OBJECT :LEX SYSTEM :DETERMINER EACH :SOURCE
      (N / SPACE-INTERVAL :NAME NEW-YORK)))
    :SET-NAME   |nigel-exerciseset|
)

Return to index.