Semantic specification for example: REUTERS13
(EXAMPLE
:NAME REUTERS13
:GENERATEDFORM "The two companies have already an U.S. joint venture."
:TARGETFORM "The two companies already have a U.S. joint venture and NEC provides...."
:LOGICALFORM
((GP / OWNERSHIP :DOMAIN
(CO1 / COMPANY :LEX COMPANY :DETERMINER THE :QUANTITY 2)
:RANGE
(VENTURE / OBJECT :LEX VENTURE :DETERMINER A
:PROCESS-MODIFICATION-Q NOPROCESS :PROPERTY-ASCRIPTION
(Q2 / QUALITY :LEX U.S.)
:PROVENANCE-PROPERTY-ASCRIPTION
(Q1 / QUALITY :LEX JOINT))
:MANNER
(Q / QUALITY :LEX ALREADY))
(PROVIDE / DISPOSITIVE-MATERIAL-ACTION :LEX PROVIDE :ACTOR
(CO2 / COMPANY :NAME NEC)
:ACTEE
(COMPUTER / COMPUTER :LEX MAINFRAME :NUMBER PLURAL)
:PURPOSE
(SELL / MOTION-PROCESS :LEX SELL-VERB :EVENT-Q EVENT
:PROSPECTIVE-Q PROSPECTIVE :TYPICAL-PARTICIPANT-Q
NOTTYPICALCLASS :RECOVERABILITY-Q NOTRECOVERABLE :ACTOR
(CO3 / COMPANY :NAME BULL)
:INCLUSIVE
(LABEL / LABEL :LEX LABEL :OWNED-BY
(CO3 / CO3 :EMPTY-GENDER-MULTIPLICITY-Q EMPTY)
:IDENTIFIABILITY-Q IDENTIFIABLE
:PROPERTY-ASCRIPTION
(Q3 / QUALITY :LEX OWN))
:SPATIAL-LOCATING
(EORU / THREE-D-LOCATION :NAME EUROPE))))
:SET-NAME |reuters|
)