Semantic specification for example: PRIMER-21B

(EXAMPLE
    :NAME   PRIMER-21B
    :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   
(D1 / DISJUNCTION :DOMAIN
    (L / LOAD :ACTOR
       (S / SHIP :DETERMINER THE)
       :ACTEE
       (T / TRUCK :DETERMINER A)
       :TENSE PAST)
    :RANGE
    (L / LOAD :ACTOR S :ACTEE
       (T / TANK :DETERMINER A)
       :TENSE PAST))
    :SET-NAME   |penman-primer|
)

Return to index.