TSM-EN-MAXI2-SI-12
(EXAMPLE :NAME TSM-EN-MAXI2-SI-12 :GENERATEDFORM "Enter the l command line." :GLOSS ( :ENGLISH NIL) :LOGICALFORM (|a138| / DM::ENTER :SPEECHACT IMPERATIVE :ACTEE (|a140| / DM::COMMAND-LINE :CLASS-ASCRIPTION (|a141| / DM::GUI-L :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) :ACTOR (HEARER / DM::USER :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) ) :SET-NAME TSM-EN-MAXI2-SI )