Semantic specification for example: PRIMER-16C

(EXAMPLE
    :NAME   PRIMER-16C
    :GENERATEDFORM   "The ship that will sail to Pearl Harbor is operational."
    :TARGETFORM   "The ship that will sail to Pearl Harbor is operational."
    :LOGICALFORM   
(E1 / READINESS-STATUS :DOMAIN
    (S / SHIP :DETERMINER THE :PROCESS
       (S1 / SAIL :ACTOR S :DESTINATION
           (P / PORT :NAME PEARL-HARBOR)
           :TENSE FUTURE))
    :RANGE
    (R / OPERATIONAL))
    :SET-NAME   |penman-primer|
)

Return to index.