In this diagram, the non-T0 version of a condition is on the left side of the slash, and the T0 version is on the right side.
As you can see from the diagram, normal and R0 together imply a host of other properties, since combining the two properties leads you to follow a path through the many nodes on the rightside branch.