Semantic specification for example: PRIMER-39
(EXAMPLE :NAME PRIMER-39 :GENERATEDFORM "The ship was named by the Navy." :TARGETFORM "The ship was named by the Navy." :LOGICALFORM (E / NAME-RELATION :THEME S :PP-THEME S :DOMAIN (N / NAVY :DETERMINER THE) :RANGE (S / SHIP :DETERMINER THE) :TENSE PAST) :SET-NAME |penman-primer| )