Through this formalization, we can see that FSCFG rules and LSTSSG rules are both included.
we should point out that the rules with mixture of X non-terminals and syntactic non-terminals are not included in our current implementation despite that they are legal under the proposed formalism.