Attributes . SMT Terminals . Names