Semantic specification for example: PRIMER-26

(EXAMPLE
    :NAME   PRIMER-26
    :GENERATEDFORM   "There aren't any wood ships in the Navy."
    :TARGETFORM   "There aren't any wood ships in the Navy."
    :LOGICALFORM   
(E / EXISTENCE :SPEECHACT DENIAL :DOMAIN
   (S / SHIP :NUMBER PLURAL :DETERMINER ANY
      :MATERIAL-PROPERTY-ASCRIPTION
      (W / WOOD))
   :STATIC-SPATIAL
   (N / NAVY :DETERMINER THE))
    :SET-NAME   |penman-primer|
)

Return to index.