Semantic specification for example: PRIMER-5A

(EXAMPLE
    :NAME   PRIMER-5A
    :GENERATEDFORM   "The ship is at San Diego."
    :TARGETFORM   "The ship is at San Diego."
    :LOGICALFORM   
(L1 / LOCATION :DOMAIN
    (S / SHIP :DETERMINER THE)
    :RANGE
    (P / PORT :NAME SAN-DIEGO))
    :SET-NAME   |penman-primer|
)

Return to index.