Semantic specification for example: REUTERS30
(EXAMPLE :NAME REUTERS30 :GENERATEDFORM "NEC, which manufactures computer chips in Scotland already, is building a new British plant to open in the fall." :TARGETFORM "NEC, which manufactures computer chips in Scotland already, is building a new British plant to open in the fall." :LOGICALFORM (RST1 / RST-ELABORATION :MEMBER-SET-Q (NEC MANUFACTURE) INCLUDED :DOMAIN (BUILD / CREATIVE-MATERIAL-ACTION :LEX BUILD :TENSE PRESENT-CONTINUOUS :ACTOR (NEC / CORPORATION :LEX NEC :DETERMINER ZERO) :ACTEE (PLANT / OBJECT :LEX PLANT :DETERMINER A :AGE-PROPERTY-ASCRIPTION (NEW / AGE :LEX NEW) :PROVENANCE-PROPERTY-ASCRIPTION (BRIT / PROVENANCE-CLASS-QUALITY :LEX BRITISH-ADJECTIVE) :PROCESS (OPEN / MOTION-PROCESS :PROPERTY-Q PROPERTY :TYPICAL-PARTICIPANT-Q TYPICALCLASS :ACTOR PLANT :LEX OPEN :TEMPORAL-LOCATING (FALL / THREE-D-LOCATION :LEX FALL-SEASON :DETERMINER THE)))) :RANGE (MANUFACTURE / CREATIVE-MATERIAL-ACTION :TENSE PRESENT :LEX MANUFACTURE :PROPERTY-Q PROPERTY :ACTOR NEC :ACTEE (CHIP / OBJECT :LEX CHIP-COMPUTER :NUMBER PLURAL :CLASS-ASCRIPTION (COMPUTER / COMPUTER :LEX COMPUTER)) :SPATIAL-LOCATING (SCOT / THREE-D-LOCATION :NAME SCOTLAND) :TEMPORAL-LOCATING (ALREADY / RELATIVE-SPATIAL-TEMPORAL :IDENTIFIABILITY-Q IDENTIFIABLE :LEX ALREADY))) :SET-NAME |reuters| )