Semantic specification for example: PRIMER-6B
(EXAMPLE :NAME PRIMER-6B :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| )