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|
)

Return to index.