Semantic specification for example: EX-SET-84

(EXAMPLE
    :NAME   EX-SET-84
    :GENERATEDFORM   "On that hill there stand nineteen houses."
    :TARGETFORM   "On that hill there stand nineteen houses."
    :LOGICALFORM   
(E / EXISTENCE :LEX STAND :THEME HILL :SPATIAL-LOCATING
   (HILL / ONE-OR-TWO-D-LOCATION :LEX HILL :DETERMINER THAT)
   :DOMAIN
   (H / OBJECT :LEX HOUSE :QUANTITY 19))
    :SET-NAME   |nigel-exerciseset|
)

Return to index.