Every rule is obtained by choosing a specific degree d 0 and specific directions (forward or backward) for each of the slashes j i , while X , Y and the Y i are variables ranging over categories.
for every degree d 0 there are 2 d forward rules and 2 d backward rules.