(1) -> )lib AXIOM SINF SYMCAT SYMB AND SEXPR

   >> System error:
   The value
  598
is not of type
  LIST

t:='t::SYMB(INT,ASSS)

   There are no library operations named SYMB 
      Use HyperDoc Browse or issue
                                )what op SYMB
      to learn if there is any operation containing " SYMB " in its 
      name.

   Cannot find a definition or applicable library operation named SYMB 
      with argument type(s) 
                                    Type
                               Variable(ASSS)

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.