We will thus take the nodes of TAG trees to be labeled with symbols from a ranked alphabet F; a given symbol then has a fixed arity and a fixed number of children.
these additional symbols, since they are nullary, will necessarily appear only at the frontier of trees.