Semantic specification for example: PRIMER-51B

(EXAMPLE
    :NAME   PRIMER-51B
    :GENERATEDFORM   "What is the length of the Knox?."
    :TARGETFORM   "What is the length of the Knox?."
    :LOGICALFORM   
(I / UM-IDENTITY :WHAT-QUESTION ID :DOMAIN
   (ID / LENGTH :EMPTY-NUMBER-Q EMPTY)
   :RANGE
   (L1 / LENGTH :DOMAIN
       (S2 / SHIP :NAME KNOX)
       :DETERMINER THE))
    :SET-NAME   |penman-primer|
)

Return to index.