Semantic specification for example: PRIMER-44

(EXAMPLE
    :NAME   PRIMER-44
    :GENERATEDFORM   "The Constellation is the huge ship that was named by Kennedy"
    :TARGETFORM   "The Constellation is the huge ship that was named by Kennedy"
    :LOGICALFORM   
(C / CLASS-ASCRIPTION :DOMAIN
   (S1 / SHIP :NAME CONSTELLATION)
   :RANGE
   (S2 / SHIP :RELATIONS
       ((SPA / SIZE-PROPERTY-ASCRIPTION :DOMAIN S2 :RANGE
             (H / SIZE :LEX HUGE)) 
        (N / NAME-RELATION :THEME S2 :PP-THEME S2 :TENSE PAST :DOMAIN
           (P / PERSON :NAME KENNEDY)
           :RANGE S2))))
    :SET-NAME   |penman-primer|
)

Return to index.