TSM-EN-MAXI3-SI-13
(EXAMPLE :NAME TSM-EN-MAXI3-SI-13 :GENERATEDFORM "Choose the Save option from the Save menu." :GLOSS ( :ENGLISH NIL) :LOGICALFORM (|a143| / DM::CHOOSE :SPEECHACT IMPERATIVE :ACTEE (|a145| / DM::OPTION :CLASS-ASCRIPTION (|a146| / DM::GUI-SAVE :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) :SOURCE (|a148| / ZERO-D-LOCATION :LEX MENU :CLASS-ASCRIPTION (|a149| / DM::GUI-SAVE :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) :ACTOR (HEARER / DM::USER :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) ) :SET-NAME TSM-EN-MAXI3-SI )