5. T-lemmas and node types

For every node type we can specify the following: