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

Return to index.