Semantic specification for example: PRIMER-20C

(EXAMPLE
    :NAME   PRIMER-20C
    :GENERATEDFORM   "The ship loaded a truck, and it was inoperative."
    :TARGETFORM   "The ship loaded a truck, and it was inoperative."
    :LOGICALFORM   
(C1 / CONJUNCTION :DOMAIN
    (L / LOAD :ACTOR
       (S / SHIP :DETERMINER THE)
       :ACTEE
       (T / TRUCK :DETERMINER A)
       :TENSE PAST)
    :RANGE
    (Q / READINESS-STATUS :DOMAIN T :RANGE
       (R / INOPERATIVE)
       :TENSE PAST))
    :SET-NAME   |penman-primer|
)

Return to index.