Semantic specification for example: PRIMER-5A
(EXAMPLE :NAME PRIMER-5A :GENERATEDFORM "The ship is at San Diego." :TARGETFORM "The ship is at San Diego." :LOGICALFORM (L1 / LOCATION :DOMAIN (S / SHIP :DETERMINER THE) :RANGE (P / PORT :NAME SAN-DIEGO)) :SET-NAME |penman-primer| )