Definition of Nonterm