Semantic specification for example: PRIMER-50

(EXAMPLE
    :NAME   PRIMER-50
    :GENERATEDFORM   "The length of the Knox exceeds the length of the Whipple."
    :TARGETFORM   "The length of the Knox exceeds the length of the Whipple."
    :LOGICALFORM   
(E1 / EXCEED :MEASURE-Q MEASURE :MEASURE-TYPE-Q DIMENSION :DOMAIN
    (L1 / LENGTH :DOMAIN
        (S1 / SHIP :NAME KNOX)
        :DETERMINER THE)
    :RANGE
    (L1 / LENGTH :DOMAIN
        (S2 / SHIP :NAME WHIPPLE)
        :DETERMINER THE))
    :SET-NAME   |penman-primer|
)

Return to index.