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