Semantic specification for example: PRIMER-8

(EXAMPLE
    :NAME   PRIMER-8
    :GENERATEDFORM   "Previously, the Knox was in port at San Diego."
    :TARGETFORM   "Previously, the Knox was in port at San Diego."
    :LOGICALFORM   
(L1 / LOCATION :CONJUNCTIVE PREVIOUSLY :DOMAIN
    (S / SHIP :NAME KNOX)
    :RANGE
    (P1 / THREE-D-LOCATION :LEX PORT-UNCOUNTABLE :NUMBER MASS :LOCATION
        (P2 / PORT :NAME SAN-DIEGO)))
    :SET-NAME   |penman-primer|
)

Return to index.