Semantic specification for example: PRIMER-49B

(EXAMPLE
    :NAME   PRIMER-49B
    :GENERATEDFORM   "The Knox sails when the Whipple sails."
    :TARGETFORM   "The Knox sails when the Whipple sails."
    :LOGICALFORM   
(E1 / SAIL :ACTOR
    (S / SHIP :NAME KNOX)
    :CONCURRENT
    (E2 / SAIL :ACTOR
        (S2 / SHIP :NAME WHIPPLE)
        :TENSE PRESENT))
    :SET-NAME   |penman-primer|
)

Return to index.