Semantic specification for example: BEHRENS5
(EXAMPLE
:NAME BEHRENS5
:GENERATEDFORM "At the end of the century Behrens gave up painting, and he took up architecture in Darmstadt."
:TARGETFORM "At the end of the century Behrens gave up painting and took up architecture in Darmstadt."
:LOGICALFORM
((P5 P6)
(P5 / DISPOSITIVE-MATERIAL-ACTION :LEX GIVE-UP :TENSE PAST
:TIMELOCATIVE-THEME-Q CONTEXT :THEME E1 :TEMPORAL-NONORDERING
(E1 / TIME-POINT :LEX END :IDENTIFIABILITY-Q IDENTIFIABLE :PART-OF
(C1 / OBJECT :LEX CENTURY :IDENTIFIABILITY-Q IDENTIFIABLE))
:ACTOR
(B1 / PERSON :NAME BEHRENS)
:ACTEE
(PA1 / NONDECOMPOSABLE-OBJECT :LEX PAINTING :MULTIPLICITY-Q
UNITARY :SINGULARITY-Q NONSINGULAR))
(P6 / CREATIVE-MATERIAL-ACTION :LEX TAKE-UP :TENSE PAST :ACTOR
(B1 / PERSON :MEMBER-SET-Q
(SPEAKER HE)
NOTINCLUDED :MULTIPLICITY-Q UNITARY :EMPTY-NUMBER-Q EMPTY
:IDENTIFIABILITY-Q IDENTIFIABLE :GENDER-Q MALE)
:ACTEE
(A1 / OBJECT :LEX ARCHITECTURE :MULTIPLICITY-Q UNITARY
:SINGULARITY-Q NONSINGULAR)
:STATIC-SPATIAL
(D1 / THREE-D-LOCATION :NAME DARMSTADT)))
:SET-NAME |behrens|
)