Semantic specification for example: PRIMER-6A

(EXAMPLE
    :NAME   PRIMER-6A
    :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.