Semantic specification for example: PRIMER-49D

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

Return to index.