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| )