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