Semantic specification for example: PRIMER-44
(EXAMPLE :NAME PRIMER-44 :GENERATEDFORM "The Constellation is the huge ship that was named by Kennedy" :TARGETFORM "The Constellation is the huge ship that was named by Kennedy" :LOGICALFORM (C / CLASS-ASCRIPTION :DOMAIN (S1 / SHIP :NAME CONSTELLATION) :RANGE (S2 / SHIP :RELATIONS ((SPA / SIZE-PROPERTY-ASCRIPTION :DOMAIN S2 :RANGE (H / SIZE :LEX HUGE)) (N / NAME-RELATION :THEME S2 :PP-THEME S2 :TENSE PAST :DOMAIN (P / PERSON :NAME KENNEDY) :RANGE S2)))) :SET-NAME |penman-primer| )