Semantic specification for example: EX-SET-10

(EXAMPLE
    :NAME   EX-SET-10
    :GENERATEDFORM   "In fact, both types of systems your programmer created during April."
    :TARGETFORM   "In fact both types of systems were created by your programmer during April."
    :LOGICALFORM   
(M / CREATIVE-MATERIAL-ACTION :LEX CREATE :TENSE PAST :CONJUNCTIVE
   IN-FACT :THEME S :ACTOR
   (P / PERSON :LEX PROGRAMMER :OWNED-BY
      (HEARER / PERSON))
   :ACTEE
   (S / OBJECT :LEX SYSTEM :NUMBER PLURAL :ELEMENT-OF
      (T / ORDERED-SET :LEX TYPE :DETERMINER BOTH))
   :EXHAUSTIVE-DURATION
   (A / TIME-INTERVAL :NAME APRIL))
    :SET-NAME   |nigel-exerciseset|
)

Return to index.