For example, the two instances of backward crossed composition in Figure 3 are: Every combinatory rule over C(A) has infinitely many ground instances.
the variable X in such a rule can be replaced with infinitely many concrete categories.