It is worth mentioning here that our rules support other derivation orders than the left-branching order shown in Figure 5.
we could first combine the variable-specific categories with each other, and then combine the result with the category for c 0 .