Semantic specification for example: PRIMER-5B

(EXAMPLE
    :NAME   PRIMER-5B
    :GENERATEDFORM   "The ship is in port."
    :TARGETFORM   "The ship is in port."
    :LOGICALFORM   
(L1 / LOCATION :DOMAIN
    (S / SHIP :DETERMINER THE)
    :RANGE
    (P / THREE-D-LOCATION :LEX PORT-UNCOUNTABLE))
    :SET-NAME   |penman-primer|
)

Return to index.