Semantic specification for example: PRIMER-21D

(EXAMPLE
    :NAME   PRIMER-21D
    :GENERATEDFORM   "The ship loaded a truck or a tank."
    :TARGETFORM   "The ship loaded a truck or a tank."
    :LOGICALFORM   
(L / LOAD :ACTOR
   (S / SHIP :DETERMINER THE)
   :ACTEE
   (D1 / DISJUNCTION :DOMAIN
       (T1 / TRUCK :DETERMINER A)
       :RANGE
       (T2 / TANK :DETERMINER A))
   :TENSE PAST)
    :SET-NAME   |penman-primer|
)

Return to index.