was ist following (R) ? (großes R, wegen r R)
Definition: alle Knoten, die nach dem End-Tag des Kontextknotens beginnen
R = (C-)*oroC*
das ergibt vollständige Fallunterscheidung: für beliebige Knoten (Positionen) x, y gilt genau eines von:
x = y,(x, y) C+,(x, y) (C-)+,(x, y) R,(x, y) R-