Semantic specification for example: EX-SET-4
(EXAMPLE
:NAME EX-SET-4
:GENERATEDFORM "Let's take a look in my New York stores, in which the new range of options are going to be before June."
:TARGETFORM "Let's take a look at my New York stores, in which stores the new range of options is going to be by June."
:LOGICALFORM
(RST / RST-ELABORATION :SPEECHACT IMPERATIVE :COMMAND-RESPONSIBLE-ID
(SPEAKER HEARER)
:DOMAIN
(T / DISPOSITIVE-MATERIAL-ACTION :LEX TAKE :ACTOR
(SPEAKER HEARER)
:ACTEE
(L / OBJECT :LEX LOOK-NOUN :DETERMINER A)
:SPATIAL-LOCATION-SPECIFICATION-Q SPATIALLOCATION
:SPATIAL-LOCATING
(S / THREE-D-LOCATION :LEX STORE-SHOP :NUMBER PLURAL :OWNED-BY
(SPEAKER / PERSON)
:PROVENANCE-PROPERTY-ASCRIPTION
(C / OBJECT :NAME NEW-YORK)))
:RANGE
(SS / STATIC-SPATIAL :CIRCUMSTANCE-Q NOTCIRCUMSTANCE :PROPERTY-Q
PROPERTY :DOMAIN
(O / OBJECT :LEX OPTION :NUMBER PLURAL :IDENTIFIABILITY-Q
NOTIDENTIFIABLE :ELEMENT-OF
(R / ORDERED-SET :LEX RANGE :NUMBER SINGULAR :DETERMINER
THE :AGE-PROPERTY-ASCRIPTION
(N / AGE :LEX NEW)))
:MEMBER-SET-Q
(S SS)
INCLUDED :RANGE S :PRECEDE
(J / TIME-INTERVAL :NAME JUNE)
:TENSE FUTURE-IN-PRESENT))
:SET-NAME |nigel-exerciseset|
)