(So-called "special" node types have special, non-role-player functions within assertions; they are parts of the machinery of assertions. (Nonetheless, they can also be role players in other assertions.) So-called "generic" node types have no special function within the machinery of assertions.)

Repetition.