Semantic specification for example: PRIMER-6A
(EXAMPLE :NAME PRIMER-6A :GENERATEDFORM "The ship is in port at San Diego." :TARGETFORM "The ship is in port at San Diego." :LOGICALFORM (L1 / LOCATION :DOMAIN (S / SHIP :DETERMINER THE) :RANGE (P1 / THREE-D-LOCATION :LEX PORT-UNCOUNTABLE :NUMBER MASS) :LOCATION (P2 / PORT :NAME SAN-DIEGO)) :SET-NAME |penman-primer| )