Semantic specification for example: EX-SET-54

(EXAMPLE
    :NAME   EX-SET-54
    :GENERATEDFORM   "Do tell the truth."
    :TARGETFORM   "Do tell the truth."
    :LOGICALFORM   
(TELL / ADDRESSEE-ORIENTED-VERBAL-PROCESS :SAYER
      (HEARER / PERSON)
      :SPEECHACT IMPERATIVE :MARKEDNESS-Q MARKED :SAYING
      (TRUTH / ABSTRACTION :LEX TRUTH :DETERMINER THE))
    :SET-NAME   |nigel-exerciseset|
)

Return to index.