Semantic specification for example: REUTERS6
(EXAMPLE :NAME REUTERS6 :GENERATEDFORM "What amused analysts and industry executives was that the French government, which owns seventy six per cent of Bull, has been pushing the EC for a tough anti-Japanese policy on the electronics industry." :TARGETFORM "What amused analysts and industry executives was that the French government, which owns seventy six per cent of Bull, has been pushing the EC for a tough anti-Japanese policy on the electronics industry." :LOGICALFORM (ID / UM-IDENTITY :TENSE PAST :PROPOSITIONALITY-Q (AMUSE) PROPOSITIONAL :DOMAIN (AMUSE / DISPOSITIVE-MATERIAL-ACTION :PROPERTY-Q PROPERTY :EXTRACTED-VARIABLE-ID ?ID :LEX AMUSE :TENSE PAST :ACTOR (?ID / UM-THING :EMPTY-NUMBER-Q EMPTY :ANTECEDENT-Q NOANTECEDENT) :ACTEE ((ANALYST / ANALYST :LEX ANALYST :NUMBER PLURAL) (EXEC / EXECUTIVE :LEX EXECUTIVE :NUMBER PLURAL :PROVENANCE-PROPERTY-ASCRIPTION (INDUS / INDUSTRY :LEX INDUSTRY)))) :RANGE (RST / RST-ELABORATION :COMMAND-OFFER-Q NOTCOMMAND :PROPOSAL-Q NOTPROPOSAL :REPORT-Q REPORT :MEMBER-SET-Q (GOV OWN) INCLUDED :DOMAIN (PUSH / DISPOSITIVE-MATERIAL-ACTION :LEX PUSH :TENSE PRESENT-PERFECT-CONTINUOUS :ACTOR (GOV / GOVERNMENT :LEX GOVERNMENT :DETERMINER THE :PROVENANCE-PROPERTY-ASCRIPTION (FR / QUALITY :LEX FRENCH)) :ACTEE (EC / EC :LEX EC :DETERMINER THE) :PURPOSE (POLICY / ABSTRACTION :LEX POLICY :DETERMINER A :PROPERTY-ASCRIPTION (TOUGH / QUALITY :LEX TOUGH) :PROVENANCE-PROPERTY-ASCRIPTION (Q / QUALITY :LEX ANTI-JAPANESE) :SPATIAL-LOCATING (ELEC / ONE-OR-TWO-D-LOCATION :LEX INDUSTRY :DETERMINER THE :PROPERTY-ASCRIPTION (ELEC / ELECTRONICS :LEX ELECTRONICS)))) :RANGE (OWN / OWNERSHIP :LEX OWN :TENSE PRESENT :PROPERTY-Q PROPERTY :DOMAIN GOV :RANGE (|76P| / OBJECT :LEX PER-CENT :DETERMINER ZERO :QUANTITY 76 :PART-OF (BULL / COMPANY :NAME BULL))))) :SET-NAME |reuters| )