Semantic specification for example: PRIMER-35
(EXAMPLE :NAME PRIMER-35 :GENERATEDFORM "The navy identified the new Russian ship as the Gorky." :TARGETFORM "The navy identified the new Russian ship as the Gorky." :LOGICALFORM (I / IDENTIFY :SENSER (N / NAVY :DETERMINER THE) :TENSE PAST :PHENOMENON (S1 / SHIP :AGE-PROPERTY-ASCRIPTION (A / AGE :LEX NEW) :DETERMINER THE :PROVENANCE-PROPERTY-ASCRIPTION (R / PROVENANCE-CLASS-QUALITY :LEX RUSSIAN)) :ROLE-PLAYING (S2 / SHIP :NAME GORKY)) :SET-NAME |penman-primer| )