Semantic specification for example: PRIMER-7B

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

Return to index.