Semantic specification for example: PRIMER-3B
(EXAMPLE :NAME PRIMER-3B :GENERATEDFORM "You sail today." :TARGETFORM "You sail today." :LOGICALFORM (E / SAIL :ACTOR (HEARER / PERSON) :TEMPORAL-NONORDERING (D / TODAY :NAME TODAY)) :SET-NAME |penman-primer| )