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