Some nodes are called "special" nodes, because, in addition to being role players in zero or more assertions, they have special functions in certain assertion(s) of which they are non-role-player components. There are four kinds of special nodes: a-nodes, c-nodes, r-nodes and t-nodes.