concrete BasicSwe of Basic = open SyntaxSwe in {

lincat 
  Class = CN ;

};