Semantic specification for example: PRIMER-20B
(EXAMPLE
:NAME PRIMER-20B
:GENERATEDFORM "The ship loaded a truck, and it was inoperative."
:TARGETFORM "The ship loaded a truck, and it was inoperative."
:LOGICALFORM
((L / LOAD :ACTOR
(S / SHIP :DETERMINER THE)
:ACTEE
(T / TRUCK :DETERMINER A)
:TENSE PAST)
(Q / READINESS-STATUS :DOMAIN T :RANGE
(R / INOPERATIVE)
:TENSE PAST))
:SET-NAME |penman-primer|
)