TSM-EN-MAXI3-SI-2
(EXAMPLE :NAME TSM-EN-MAXI3-SI-2 :GENERATEDFORM "The operating Windows system" :GLOSS ( :ENGLISH NIL) :LOGICALFORM (|a17| / OBJECT :LEX SYSTEM :PROPERTY-ASCRIPTION (G6163 / QUALITY :LEX OPERATING ) :CLASS-ASCRIPTION (|a18| / DM::GUI-WINDOWS :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) :IDENTIFIABILITY-Q DM::IDENTIFIABLE ) :SET-NAME TSM-EN-MAXI3-SI )