Semantic specification for example: PRIMER-27B
(EXAMPLE :NAME PRIMER-27B :GENERATEDFORM "The ship must sail on Monday." :TARGETFORM "The ship must sail on Monday." :LOGICALFORM (E / SAIL :ACTOR (S / SHIP :DETERMINER THE) :TEMPORAL-NONORDERING (D2 / DAY :NAME MONDAY) :MODAL-PROPERTY-ASCRIPTION (M / (NONCONDITIONAL NECESSITY))) :SET-NAME |penman-primer| )