Semantic specification for example: PRIMER-16A

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

Return to index.