Semantic specification for example: PRIMER-49A

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

Return to index.