Semantic specification for example: PRIMER-14B
(EXAMPLE :NAME PRIMER-14B :GENERATEDFORM "The ship is loading your trucks." :TARGETFORM "The ship is loading your trucks." :LOGICALFORM (E / LOAD :ACTOR (S / SHIP :DETERMINER THE) :ACTEE (T / TRUCK :NUMBER PLURAL :RELATIONS (O / OWNERSHIP :DOMAIN (HEARER / PERSON :NUMBER PLURAL) :RANGE T)) :TENSE PRESENT-CONTINUOUS) :SET-NAME |penman-primer| )