Semantic specification for example: PRIMER-21A

(EXAMPLE
    :NAME   PRIMER-21A
    :GENERATEDFORM   "Either the ship loaded a truck, or it loaded a tank."
    :TARGETFORM   "Either the ship loaded a truck, or it loaded a tank."
    :LOGICALFORM   
(:OR (L1 / LOAD :ACTOR
         (S / SHIP :DETERMINER THE)
         :ACTEE
         (T / TRUCK :DETERMINER A)
         :TENSE PAST)
     (L2 / LOAD :ACTOR S :ACTEE
         (T / TANK :DETERMINER A)
         :TENSE PAST))
    :SET-NAME   |penman-primer|
)

Return to index.