Semantic specification for example: PRIMER-5B
(EXAMPLE :NAME PRIMER-5B :GENERATEDFORM "The ship is in port." :TARGETFORM "The ship is in port." :LOGICALFORM (L1 / LOCATION :DOMAIN (S / SHIP :DETERMINER THE) :RANGE (P / THREE-D-LOCATION :LEX PORT-UNCOUNTABLE)) :SET-NAME |penman-primer| )