Semantic specification for example: PRIMER-16D

(EXAMPLE
    :NAME   PRIMER-16D
    :GENERATEDFORM   "The operational ship that was in San Diego will sail to Pearl Harbor."
    :TARGETFORM   "The operational ship that was in San Diego will sail to Pearl Harbor."
    :LOGICALFORM   
(S1 / SAIL :ACTOR
    (S / SHIP :DETERMINER THE :RELATIONS
       ((R1 / READINESS-STATUS :DOMAIN S :RANGE
            (O / OPERATIONAL)) 
        (L1 / LOCATION :DOMAIN S :CIRCUMSTANCE-Q NOTCIRCUMSTANCE :RANGE
            (P / PORT :NAME SAN-DIEGO)
            :TENSE PAST)))
    :DESTINATION
    (PH / PORT :NAME PEARL-HARBOR)
    :TENSE FUTURE)
    :SET-NAME   |penman-primer|
)

Return to index.