TSM-EN-MAXI3-SI-7
(EXAMPLE :NAME TSM-EN-MAXI3-SI-7 :GENERATEDFORM "Enter the Endp command line." :GLOSS ( :ENGLISH NIL) :LOGICALFORM (|a64| / DM::ENTER :SPEECHACT IMPERATIVE :ACTEE (|a66| / DM::COMMAND-LINE :CLASS-ASCRIPTION (|a67| / DM::GUI-ENDP :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) :ACTOR (HEARER / DM::USER :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) ) :SET-NAME TSM-EN-MAXI3-SI )