Semantic specification for example: PRIMER-7A
(EXAMPLE :NAME PRIMER-7A :GENERATEDFORM "There are not any ships in port at San Diego." :TARGETFORM "There are not any ships in port at San Diego." :LOGICALFORM (E / EXISTENCE :SPEECHACT DENIAL :DOMAIN (S / SHIP :NUMBER PLURAL :DETERMINER ANY) :LOCATION (P1 / THREE-D-LOCATION :LEX PORT-UNCOUNTABLE :NUMBER MASS :LOCATION (P2 / PORT :NAME SAN-DIEGO))) :SET-NAME |penman-primer| )