Semantic specification for example: PRIMER-32A

(EXAMPLE
    :NAME   PRIMER-32A
    :GENERATEDFORM   "Fleets have ships."
    :TARGETFORM   "Fleets have ships."
    :LOGICALFORM   
(P / PART :DOMAIN
   (F / FLEET :NUMBER PLURAL)
   :RANGE
   (S / SHIP :NUMBER PLURAL))
    :SET-NAME   |penman-primer|
)

Return to index.